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.

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, such as a …