Mathematicians put AI model AlphaProof to the test

3 min read Original article ↗
  • NEWS AND VIEWS

Mathematicians use computational tools to prove theorems. An AI model that is trained to use these tools might accelerate mathematical discovery.

By

  1. Talia Ringer

    1. Talia Ringer is in the Siebel School of Computing and Data Science, University of Illinois at Urbana–Champaign, Urbana, Illinois, 61801, USA.

Last year, Google DeepMind made headlines for building an artificial-intelligence system that achieved a silver-medal standard on the problems from that year’s International Mathematics Olympiad (IMO), a prestigious competition for young mathematicians held annually. It was the first time such a system had performed at a medal-worthy level in solving IMO challenges. Now, writing in Nature, Hubert et al.1 report the details of the core technology behind that achievement: a tool called AlphaProof, which is designed to prove mathematical statements.

Access options

Access Nature and 54 other Nature Portfolio journals

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

$32.99 / 30 days

cancel any time

Subscribe to this journal

Receive 51 print issues and online access

$199.00 per year

only $3.90 per issue

Rent or buy this article

Prices vary by article type

from$1.95

to$39.95

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

doi: https://doi.org/10.1038/d41586-025-03585-5

References

  1. Hubert, T. et al. Nature https://doi.org/10.1038/s41586-025-09833-y (2025).

    Article  Google Scholar 

  2. Castelvecchi, D. Nature 644, 20 (2025).

    Article  PubMed  Google Scholar 

  3. Wu, Y. et al. Preprint at arXiv https://doi.org/10.48550/arXiv.2205.12615 (2022).

  4. Ringer, T., Palmskog, K., Sergey, I., Gligoric, M. & Tatlock, Z. Found. Trends Program. Lang. 5, 102–281 (2019).

    Article  Google Scholar 

  5. Kontorovich, A. Preprint at arXiv https://doi.org/10.48550/arXiv.2510.15924 (2025).

Download references

Competing Interests

The author declares no competing interests.

Subjects

Latest on: