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

Google has created a maths AI that has already proved 1200 theorems
Mathematicians don’t need to worry about AI taking over their jobs just yet

NicoElNino/Alamy

You don’t need a human brain to do maths — even artificial intelligence can write airtight proofs of mathematical theorems.

An AI created by a team at Google has proven more than 1200 mathematical theorems. Mathematicians already knew proofs for these particular theorems, but eventually the AI could start working on more difficult problems.

未经允许不得转载:国际 » Google has created a maths AI that has already proved 1200 theorems