By Paul Arnold
Publication Date: 2025-11-14 14:50:00
AlphaProof learning and adaptation processes. Credit: Nature (2025). DOI: 10.1038/s41586-025-09833-y
At the International Mathematical Olympiad (IMO) 2024, one participant performed so well that he would have been awarded the silver prize, except for one thing: it was an AI system. This was the first time in the competition’s history that AI achieved a medal-level performance. In an article published in the magazine NatureResearchers describe in detail the technology behind this remarkable achievement.
The AI is AlphaProof, a sophisticated program developed by Google DeepMind that learns to solve complex mathematical problems. The performance at IMO was impressive enough, but what really makes AlphaProof special is its ability to find and correct errors. While large language models (LLMs) can solve mathematical problems, they often cannot guarantee that…
