[Science] Google has created a maths AI that has already proved 1200 theorems – AI

Mathematicians don’t need to worry about AI taking over their jobs just yetNicoElNino/Alamy By Leah CraneYou 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. One of the core pillars of maths is the concept of proof. It is an argument based on known statements, assumptions, or rules, that a certain mathematical statement, …