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
source: newscientist.com
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