新上线昨天0 投票
AI 攻占数学界:突破、争议与混乱的一年
过去一年,OpenAI、Anthropic 等 AI 实验室接连宣布在多个长期悬而未决的数学难题上取得突破,甚至声称解决了著名的千禧年大奖难题之一。这些成果在某些方面远超研究人员对当前系统的预期。但硅谷式“快速行动、打破常规”的风格,也让 AI 实验室以推土机般的姿态冲进数学界,原本值得庆祝的结果反而引发强烈反弹。
突破与反噬
AI 在数学领域的进展堪称惊人。从长期未解的猜想,到千禧年难题级别的挑战,实验室们不断刷新外界对机器推理能力的认知。然而,问题出在发布方式上。多篇报道指出,OpenAI 在宣布这些成果时屡次出现沟通失误,导致数学界感到被冒犯。
OpenAI 的补救与新的混乱
OpenAI 试图修复与数学界的关系,最新举措是咨询一个由顶尖数学家组成的独立顾问小组。但据 The Verge 采访的多位数学家——包括该小组成员——描述,这一过程混乱且令人困惑,带有 OpenAI 此前仓促进军数学领域的诸多特征。
更棘手的是,该小组面临的首要任务:协助发布 OpenAI 未公开模型产出的大量新结果。研究人员担心,这波即将到来的“突破海啸”可能对整个数学领域造成冲击。
行业背景与不确定性
AI 实验室表示正在从早期错误中学习,但这些承诺能否兑现仍有待观察。数学界对 AI 的态度正从好奇转向警惕:一方面,AI 确实展现出解决复杂问题的潜力;另一方面,缺乏严谨验证和社区沟通的“突破”可能损害学科规范。
目前,这场 AI 与数学的碰撞仍在快速演变。OpenAI 等公司能否学会以更尊重学术社区的方式推进,将决定这场“攻占”最终是合作还是破坏。
