Google has created a maths AI that has already proved 1200 theorems

(Source)

An AI made by Google has written mathematical proofs for more than 1200 theorems and may one day go on to tackle problems mathematicians don’t know how to solve

Full Story Here

New Scientist.com



Support Us