#Google has created a #maths #AI that has already proved 1200 theorems#ML #Algorithms by @welcomeai@evankirstel @ipfconline1 @SpirosMargaris @RichSimmondsZA @HaroldSinnott @WearableGuru @jerome_joffre @kalydeoo @diioannid @JacBurns_Comext @HITpol @labordeolivier @andi_staub pic.twitter.com/jvdkBdc55S
— Jean-Baptiste Lefevre (@jblefevre60) June 8, 2019
from http://twitter.com/jblefevre60
via … Lire la suite










