Subscribe now

Mathematics

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

By Leah Crane

25 April 2019

Someone touching a screen with maths symbols

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

To continue reading, subscribe today with our introductory offers

View introductory offers

No commitment, cancel anytime*

Offer ends 14th June 2023.

*Cancel anytime within 14 days of payment to receive a refund on unserved issues.

Inclusive of applicable taxes (VAT)

or

Existing subscribers

Sign in to your account