AI逼得美国数学家宣布退出数学学术界

@Xizi_6HVTu79d

　　8月初，顶尖数学家齐聚旧金山OpenAI的办公室，探讨一个关乎生存的问题：如果人工智能很快将人类数学专家全部甩在身后，那么人类数学专家还能做什么呢？
　　多伦多大学数学教授丹尼尔·利特在题为“数学的终结”的演讲中说：“我认为我们最终可能会进入一个没有高质量数学研究、人类数学专业知识完全丧失的世界。”
2 K8 \3 ^8 c5 h* ]2 m　　数学家宣布退出数学学术界：不再寻求答案，转而验证答案
　　在纽约大学阿布扎比分校完成博士后研究的数学家里希凯什·加贾拉近期宣布退出数学界。他在社交媒体上写道：“对我而言，数学的意义从来不在于答案本身，而在于答案出现之前数月甚至数年的探索：那些死胡同，那些漫长而艰辛的寻找，直到隐藏的结构最终显露出来。”
▲数学家里希凯什·加贾拉在近期宣布退出数学界
' A9 y% u# g; J! r  c' u　　AI让一切都改变了。加贾拉写道：“我们正迅速迈向一个只需一个AI提示词就能获得大部分答案的世界。一旦我真正接受了这种可能性，我便不再像以前那样，将生命的大部分时间投入到寻找这些答案上。”
　　他认为，如今验证AI的答案是否正确才是一个核心的智力瓶颈。他强调：“只有当智能的输出结果可信时，它才有用。因此，我决定离开数学学术界，将注意力从发现答案转移到构建能够验证答案的系统上。”
　　加贾拉宣布加入专注于AI可靠性和可验证性的公司Pramaana Labs。该公司于2026年6月宣布获得2700万美元种子轮融资。该公司核心目标是解决大模型在税务、法律、金融、医疗等高风险领域容易“答得像真的、却无法证明正确”的问题。
) t6 o5 i' [" R; o+ A! p; M2 F　　AI在数学领域突飞猛进：期待4年后AI和数学家共获菲尔兹奖
　　今年以来，AI在数学领域不断取得突破。从计算辅助、文献整理，到参与证明生成与结构构造，AI正深度融入数学研究核心环节。
! I; i' [( a1 W! o5 f5 Z. F　　5月，OpenAI宣布其模型在匈牙利数学家保罗·埃尔德什提出的“平面单位距离问题”中，设计出一种新的点集构造方法，在相同规模约束下得到更多单位距离对，被认为突破了长期以来基于规则几何结构的经验性直觉。
　　同时，年仅23岁、没有接受过正规数学训练的英国业余数学爱好者利亚姆·普莱斯在ChatGPT的帮助下，破解了一个困扰世界顶尖数学家60年的埃尔德什第1196号问题。
/ ~4 G5 ?, |7 _. u　　OpenAI更是在8月公布了其最新AI模型Astra在数学和理论计算机科学领域取得的10项成果，涉及几何学、密码学、计算复杂性、纠错码、量子博弈等多个方向。其中一些问题已经困扰数学家数十年甚至超过一个世纪，Astra不仅给出了新的证明或反例，还将相关结果形式化为可由Lean 4机器验证的证明。
　　▲OpenAI官方近日宣布，在最新的内部测试中，Astra在数学与理论计算机科学领域取得了重大突破（图据视觉中国）
8 v1 Y: Y$ r3 Z! h* Z9 h8 |  i　　OpenAI强调，这一过程并非单纯让AI生成看似合理的答案，而是要求其产生能够被形式化验证的证明；不过，这些结果仍需要数学界进一步独立审查。
　　OpenAI数学家塞巴斯蒂安·布贝克称，AI自主作出与最伟大数学家比肩甚至超越他们的贡献只是时间问题。他期待到2030年，AI和数学家或许能够共同获得菲尔兹奖。
- \0 m2 P4 _- a5 L* w6 k6 `　　红星新闻记者 卿滢
　　原标题：AI逼得美国数学家宣布退出数学学术界：不再是寻求答案，而是去验证答案

淡悸de优伤

这下可好，数学界要改行了，搞验证的吃香

彼岸到花开

看来以后数学题都得带个AI验证标签

牵着海龟逛沙漠

这年头连数学都得靠AI，真有点怕了

bluee╃字JUN团

这下可好，数学界要改行了，搞验证的吃香

往事絮雨

看来以后数学题都得带个AI验证标签