MIT:AI正在把数学家从论文内卷中拯救出来

DeepTech深科技 · 经八阕原文

2026 年 10 月,数学界迎来了一场前所未有的冲击。 10 月 6 日,OpenAI 公开了一批由 AI 模型生成的数学研究成果,包括 722 份手稿,涉及 372 组数学问题,涵盖数论、代数、几何等多个领域。其中一些结果宣称解决了长期悬而未决的数学难题。更重要的是,OpenAI 披露,模型平均只需要相当于 ChatGPT Pro 思考约 3 小时的计算量,就能生成一项数学结果。

这一消息很快在数学界引发焦虑和讨论。得克萨斯大学奥斯汀分校的计算机科学家斯科特·阿伦森(Scott Aaronson)直接将这场冲击称为“数学末日”(Mathocalypse)。菲尔兹奖得主陶哲轩也开始讨论“数学 2.0”,重新思考 AI 时代的数学研究。 至此,一系列现实的问题被摆在台前:当机器能够快速生成大量数学证明,人类数学家还有什么工作可做?对于年轻学者来说,如果自己的研究课题随时可能被 AI 解决,继续攻读数学博士、争取大学教职,还有多少意义? 面对这些疑问,两位来自麻省理工学院(MIT)的学者给出了不同的回答。 近日,MIT 数学教授帕维尔·埃廷戈夫(Pavel Etingof)与数学系高级讲师斯拉瓦·格罗维奇(Slava Gerovitch)共同发表了一篇题为《未来的数学》的文章,探讨 AI 时代数学研究、学术评价和人才培养可能发生的变化。他们认为,AI 的发展或许不会伤害数学研究,反而可能将数学家从长期以来的论文竞争中解放出来。

图|帕维尔·埃廷戈夫(Pavel Etingof)和斯拉瓦·格罗维奇(Slava Gerovitch)(来源:MIT) 他们文章结尾写道:“与其试图挽救旧有秩序,我们更应该保留真正重要的东西——好奇心、知识、理解力、独立思考的能力,以及研究和分享数学的乐趣。” 以下内容由 Deep Tech 根据原文编辑整理,有所删减但是不改变原意 当 AI 可以批量证明定理,数学论文还值钱吗?

(来源:文章配图)

数学家以后做什么?去探索一座无限扩大的图书馆

数学系如何培养学生?论文不再是唯一目标

不使用 AI 的数学家,还有生存空间吗? 当然,两位作者也注意到,并非所有数学家都愿意接受 AI。 一些研究者出于学术伦理、知识产权或个人兴趣等原因,选择不使用 AI 开展研究。文章将这类人称为“AI 素食主义者”(AI Vegetarians)。

因此,他们建议年轻数学家广泛学习,同时在一些领域建立真正扎实的专业知识;重视合作与交流,保持独立思考的习惯,并根据自己的兴趣和能力选择职业方向。 他们还提出了一个值得关注的观点。即使未来 AI 能够完成大量数学研究,社会仍然需要维持一支具有深厚专业能力的数学家队伍。 数学知识不仅用于证明定理,还广泛应用于科学、技术和工业。面对未来可能出现的新问题,人类需要具备理解和运用复杂数学知识的能力。这种能力需要通过长期教育和研究积累,无法在需要时立即建立。 当然,两位作者描绘的未来也存在争议。在文章的公开评论区中,也有年轻研究者提出反对意见,认为数学家不应该被限定为 AI 成果的解释者和整理者。对于一些人而言,亲自发现和证明定理,才是他们选择数学作为职业的重要原因。 对此,数学界显然还没有找到一个让所有人满意的答案。随着 AI 越来越深入数学研究,如何保留人类独立探索和发现的空间,仍然是一个值得思考的问题。但我们期待,不管是否使用 AI,数学的未来都能为那些热爱探索的人留下一席之地。

来源:DeepTech深科技(经八阕转载) · 查看原文
Scroll for more