AI逼得数学家退出学术界:不再寻求答案而是去验证

AI逼得数学家退出学术界:不再寻求答案而是去验证

来源：倍可亲(backchina.com)

　　8月初，顶尖数学家齐聚旧金山(专题)OpenAI的办公室，探讨一个关乎生存的问题：如果人工智能很快将人类数学专家全部甩在身后，那么人类数学专家还能做什么呢？

　　多伦多大学数学教授丹尼尔·利特在题为“数学的终结”的演讲中说：“我认为我们最终可能会进入一个没有高质量数学研究、人类数学专业知识完全丧失的世界。”

　　数学家宣布退出数学学术界：不再寻求答案，转而验证答案

　　在纽约(专题)大学阿布扎比分校完成博士后研究的数学家里希凯什·加贾拉近期宣布退出数学界。他在社交媒体上写道：“对我而言，数学的意义从来不在于答案本身，而在于答案出现之前数月甚至数年的探索：那些死胡同，那些漫长而艰辛的寻找，直到隐藏的结构最终显露出来。”

　　▲数学家里希凯什·加贾拉在近期宣布退出数学界

　　AI让一切都改变了。加贾拉写道：“我们正迅速迈向一个只需一个AI提示词就能获得大部分答案的世界。一旦我真正接受了这种可能性，我便不再像以前那样，将生命的大部分时间投入到寻找这些答案上。”

　　他认为，如今，验证AI的答案是否正确才是一个核心的智力瓶颈。他强调：“只有当智能的输出结果可信时，它才有用。因此，我决定离开数学学术界，将注意力从发现答案转移到构建能够验证答案的系统上。”

　　加贾拉宣布加入专注于AI可靠性和可验证性的公司Pramaana Labs。该公司于2026年6月宣布获得2700万美元种子轮融资。该公司核心目标是解决大模型在税务、法律、金融、医疗等高风险领域容易“答得像真的、却无法证明正确”的问题。

　　AI在数学领域突飞猛进：期待4年后AI和数学家共获菲尔兹奖

　　今年以来，AI在数学领域不断取得突破。从计算辅助、文献整理，到参与证明生成与结构构造，AI正深度融入数学研究核心环节。

　　5月，OpenAI宣布其模型在匈牙利数学家保罗·埃尔德什提出的“平面单位距离问题”中，设计出一种新的点集构造方法，在相同规模约束下得到更多单位距离对，被认为突破了长期以来基于规则几何结构的经验性直觉。

　　同时，年仅23岁、没有接受过正规数学训练的英国业余数学爱好者利亚姆·普莱斯在ChatGPT的帮助下，破解了一个困扰世界顶尖数学家60年的埃尔德什第1196号问题。

　　OpenAI更是在8月公布了其最新AI模型Astra在数学和理论计算机科学领域取得的10项成果，涉及几何学、密码学、计算复杂性、纠错码、量子博弈等多个方向。其中一些问题已经困扰数学家数十年甚至超过一个世纪，Astra不仅给出了新的证明或反例，还将相关结果形式化为可由Lean 4机器验证的证明。

　　▲OpenAI官方近日宣布，在最新的内部测试中，Astra在数学与理论计算机科学领域取得了重大突破（图据视觉中国）

　　OpenAI强调，这一过程并非单纯让AI生成看似合理的答案，而是要求其产生能够被形式化验证的证明；不过，这些结果仍需要数学界进一步独立审查。

　　OpenAI数学家塞巴斯蒂安·布贝克称，AI自主作出与最伟大数学家比肩甚至超越他们的贡献只是时间问题。他期待到2030年，AI和数学家或许能够共同获得菲尔兹奖。

版权说明 / Copyright Notice:
Content and images in this article may originate from third-party sources and are used for news reporting, commentary, or public interest purposes. All copyrights remain with their respective owners. Please refer to the Copyright Notice at the bottom of this page.
本文内容仅供信息参考，不代表倍可亲立场或观点。