数学：机器的崛起
历史与综述
2025-11-24 v1 物理学史与哲学
物理与社会
摘要
我们论证了AI如何在三方面帮助数学界：定理证明、猜想形成和语言处理。灵感来自2017年几何和理论物理中的初始实验，本文总结了这一新兴领域在过去几年中的发展，展示了各种机器学习算法如何帮助在数学科学中跨学科地检测模式。核心问题是：AI如何帮助理论发现，对数学的未来有何影响。
引用
@article{arxiv.2511.17203,
title = {Mathematics: the Rise of the Machines},
author = {Yang-Hui He},
journal= {arXiv preprint arXiv:2511.17203},
year = {2025}
}
备注
Invited contribution to the Nieuw Archief voor Wiskunde of the Koninklijk Wiskundig Genootschap, and based on a recent public lecture of the author to the Royal Institution of Great Britain