多位顶级数学家对人工智能在数学领域的快速进展表达了深切担忧。[1]菲尔兹奖得主Jacob Tsimerman宣布加入OpenAI从事AI安全研究，他表示"2年之内，AI将在所有数学证明领域，彻底超越人类"。[1]另一位菲尔兹奖得主陶哲轩指出，"我相信我们正在进入一个动荡的时期——一个数学价值观与实践基础遭遇危机的时期"。[1]
数学家们对AI的具体能力提出了具体证据。Timothy Gowers在2026年5月测试ChatGPT 5.5 Pro时发现，该模型在数论问题上给出了博士级研究成果，并预测"LLM很快会在数学问题求解的所有方面超越人类，甚至可能包括提出问题、构建理论、制定定义等环节"。[1]Gowers使用AI形式化一篇论文用时一周半，其中他本人仅花了一两个小时进行提示。[1]
为表达对数学未来的关切，国际数学界发起了正式宣言。2026年6月2日，《莱顿宣言》正式发布，获得3164人签署，呼吁"数学应永远保持人类事业的本质"。[1]国际数学联盟副主席Ulrike Tillmann表态支持，强调"数学过去是、将来也应该永远是一项深刻的人类事业"。[1]
Multiple Fields Medal winners have raised alarms over artificial intelligence's rapid advancement in mathematics. Jacob Tsimerman announced his decision to join OpenAI to conduct AI safety research, predicting that within two years, AI will completely surpass human capabilities across all mathematical proof domains.[1] Leading mathematicians including Terence Tao and Timothy Gowers have issued warnings that AI could trigger a crisis in mathematical development.[1]
The concerns crystallized with the release of the Leiden Declaration in June 2026, which garnered 3,164 signatories and received endorsement from the International Mathematical Union.[1] Terence Tao expressed his anxiety, stating: "I believe we are entering a turbulent period—an era in which the foundations and values of mathematical practice face a crisis."[1] In a statement, Ulrike Tillmann, vice president of the International Mathematical Union, asserted that "mathematics has been, and should forever remain, a profound human endeavor."[1]
Gowers has provided concrete evidence of AI's mathematical prowess. After testing ChatGPT 5.5 Pro in May 2026 on a number theory problem, the model produced doctoral-level research results.[1] When formalizing one of his papers, the process took approximately one and a half weeks, during which Gowers himself invested only one or two hours providing prompts.[1] Gowers cautioned that large language models will soon exceed human performance in all aspects of mathematical problem-solving and may even surpass humans in problem formulation, theory construction, and definition-setting.[1]
