AI Can Now Prove Mathematical Theorems

Frank La Vigne
@tableteer
Inquiries franksworldtv@gmail.com

AI Mathematics Research
Closed
13 sec read

Frank
August 12, 2020

Here’s an interesting innovation coming out of Google in regards to AI and mathematics.

I wonder how much AI will accelerate our understanding of math.

Frank

Total Post: 3697

#DataScientist, #DataEngineer, Blogger, Vlogger, Podcaster at http://DataDriven.tv . Back @Microsoft to help customers leverage #AI Opinions mine. #武當派 fan. I blog to help you become a better data scientist/ML engineer Opinions are mine. All mine.