【数学末日降临?MIT学者发文反驳:AI正在把数学家从论文内卷中拯救出来】
2026 年 10 月,数学界迎来了一场前所未有的冲击。
10 月 6 日,#OpenAI# 公开了一批由 AI 模型生成的数学研究成果,包括 722 份手稿,涉及 372 组数学问题,涵盖数论、代数、几何等多个领域。其中一些结果宣称解决了长期悬而未决的数学难题。更重要的是,OpenAI 披露,模型平均只需要相当于 ChatGPT Pro 思考约 3 小时的计算量,就能生成一项数学结果。
这一消息很快在数学界引发焦虑和讨论。#得克萨斯大学奥斯汀分校# 的计算机科学家斯科特·阿伦森(Scott Aaronson)直接将这场冲击称为“数学末日”(Mathocalypse)。菲尔兹奖得主陶哲轩也开始讨论“数学 2.0”,重新思考 AI 时代的数学研究。
至此,一系列现实的问题被摆在台前:当机器能够快速生成大量数学证明,人类数学家还有什么工作可做?对于年轻学者来说,如果自己的研究课题随时可能被 AI 解决,继续攻读数学博士、争取大学教职,还有多少意义?
戳链接查看详情:http://t.cn/AXjtOE9j
