Skip to main content

Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

  • Comment
  • Published:

Mathematical discovery in the age of artificial intelligence

Nature Physics volume 21, pages 1504–1506 (2025)Cite this article

Subjects

In this comment, we consider how artificial intelligence tools are reshaping the way mathematical research is conducted and discuss how future developments of this technology will transform mathematical practice.

This is a preview of subscription content, access via your institution

Access options

Buy this article

  • Purchase on SpringerLink
  • Instant access to the full article PDF.

USD 39.95

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

Fig. 1: Pathways from informal mathematics to machine-augmented discovery.

References

  1. Howard, W. A. In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism (eds Curry, H. B, Hindley, J. R. & Seldin J. P.) (Academic Press, 1980).

  2. de Moura, L. & Ullrich, S. In Automated Deduction – CADE 28 (eds Platzer, A. & Sutcliffe, G.) 625–635 (Springer, 2021).

  3. Scholze, P. et al. Completion of the liquid tensor experiment. Lean Community Blog https://leanprover-community.github.io/blog/posts/lte-final/ (2020).

  4. AlphaProof and AlphaGeometry teams. AI achieves silver-medal standard solving international mathematical olympiad problems. Google DeepMind Blog https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ (2024).

  5. Fawzi, A. et al. Nature 610, 47–53 (2022).

    Article  ADS  Google Scholar 

  6. Romera-Paredes, B. et al. Nature 620, 75–80 (2023).

    Google Scholar 

  7. Trinh, T. H., Wu, Y., Le, Q. V., He, H. & Luong, T. Nature 625, 476–482 (2024).

    Article  ADS  Google Scholar 

  8. Diaz, A. P. Nat. Phys. 20, 522–522 (2024).

    Article  Google Scholar 

  9. Azerbayev, Z. et al. Preprint at https://doi.org/10.48550/arXiv.2302.12433 (2023).

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Collegium Mathematicum, Uniwersytetu Poznańskiego, Poznań, Poland

    Bartosz Naskręcki

  2. Department of Mathematics, University of Virginia, Charlottesville, VA, USA

    Ken Ono

Authors
  1. Bartosz Naskręcki
    View author publications

    Search author on:PubMed Google Scholar

  2. Ken Ono
    View author publications

    Search author on:PubMed Google Scholar

Corresponding author

Correspondence to Ken Ono.

Ethics declarations

Competing interests

The authors have no competing interests.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Naskręcki, B., Ono, K. Mathematical discovery in the age of artificial intelligence. Nat. Phys. 21, 1504–1506 (2025). https://doi.org/10.1038/s41567-025-03042-0

Download citation

  • Published:

  • Version of record:

  • Issue date:

  • DOI: https://doi.org/10.1038/s41567-025-03042-0

Search

Advanced search

Quick links

Nature Briefing AI and Robotics

Sign up for the Nature Briefing: AI and Robotics newsletter — what matters in AI and robotics research, free to your inbox weekly.

Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing: AI and Robotics