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, …