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

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. One of the core pillars of maths is the concept of proof.