.png)
1 month ago
4
- Comment
- Published: 06 October 2025
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
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 12 print issues and online access
$259.00 per year
only $21.58 per issue
Buy this article
- Purchase on SpringerLink
- Instant access to full article PDF
Prices may be subject to local taxes which are calculated during checkout
Additional access options:
References
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).
de Moura, L. & Ullrich, S. In Automated Deduction – CADE 28 (eds Platzer, A. & Sutcliffe, G.) 625–635 (Springer, 2021).
Scholze, P. et al. Completion of the liquid tensor experiment. Lean Community Blog https://leanprover-community.github.io/blog/posts/lte-final/ (2020).
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).
Fawzi, A. et al. Nature 610, 47–53 (2022).
Romera-Paredes, B. et al. Nature 620, 75–80 (2023).
Trinh, T. H., Wu, Y., Le, Q. V., He, H. & Luong, T. Nature 625, 476–482 (2024).
Diaz, A. P. Nat. Phys. 20, 522–522 (2024).
Azerbayev, Z. et al. Preprint at https://doi.org/10.48550/arXiv.2302.12433 (2023).
Ethics declarations
Competing interests
The authors have no competing interests.
About this article
Cite this article
Naskręcki, B., Ono, K. Mathematical discovery in the age of artificial intelligence. Nat. Phys. (2025). https://doi.org/10.1038/s41567-025-03042-0
Published: 06 October 2025
DOI: https://doi.org/10.1038/s41567-025-03042-0
