cURL Error Code: 7 cURL Error Message: Failed to connect to 127.0.0.1 port 9200: Connection refused cURL Error Code: 7 cURL Error Message: Failed to connect to 127.0.0.1 port 9200: Connection refused Mathematical discovery in the age of artificial intelligence - OurCoders (我们程序员)
OC

Mathematical discovery in the age of artificial intelligence

2025-10-06 09:23:59 英文原文

作者：Ono, Ken

  • Comment
  • Published:

Nature Physics (2025)Cite this article

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

27,99 € / 30 days

cancel any time

Subscription info for Chinese customers

We have a dedicated website for our Chinese customers. Please go to naturechina.com to subscribe to this journal.

Buy this article

  • Purchase on SpringerLink
  • Instant access to full article PDF

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
  2. Ken Ono

Corresponding author

Correspondence to Ken Ono.

Ethics declarations

Competing interests

The authors have no competing interests.

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. (2025). https://doi.org/10.1038/s41567-025-03042-0

Download citation

  • Published:

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

关于《Mathematical discovery in the age of artificial intelligence》的评论

暂无评论

发表评论



摘要

In this comment, the authors explore how artificial intelligence is transforming mathematical research and anticipate future technological advancements that will further revolutionize mathematical practices. They discuss pathways from informal mathematics to machine-augmented discovery, highlighting recent developments such as AI solving Olympiad problems and contributions from Lean Community Blog and Google DeepMind.

相关新闻

相关讨论