DeepMind hits milestone in solving maths problems — AI’s next grand challenge

AlphaProof showed its prowess on questions from this year’s Mathematical Olympiad — a step in the race to create substantial proofs with artificial intelligence.

  1. Davide Castelvecchi
You can also search for this author in PubMed Google Scholar

After beating humans at everything from the game of Go to strategy board games, Google DeepMind now says it is on the verge of besting the world’s top school students at solving mathematics problems.

Access options

Access Nature and 54 other Nature Portfolio journals

Get Nature+, our best-value online-access subscription

cancel any time

Subscribe to this journal

Receive 51 print issues and online access

196,21 € per year

only 3,85 € per issue

Rent or buy this article

Prices vary by article type

Prices may be subject to local taxes which are calculated during checkout

Nature 632, 236-237 (2024)

Related Articles

Subjects

Latest on:

Mathematics and computing

Do AI models produce more original ideas than researchers?

Do AI models produce more original ideas than researchers?

Mathematicians discover new class of shape seen throughout nature

Mathematicians discover new class of shape seen throughout nature

Forget ChatGPT: why researchers now run small AIs on their laptops

Forget ChatGPT: why researchers now run small AIs on their laptops

Technology Feature 16 SEP 24

Machine learning

Do AI models produce more original ideas than researchers?

Do AI models produce more original ideas than researchers?

AI’s international research networks mapped

AI’s international research networks mapped

Nature Index 18 SEP 24

Rise of ChatGPT and other tools raises major questions for research

Rise of ChatGPT and other tools raises major questions for research