前OpenAI后训练VP回应陶哲轩：说AI毁了数学，可能还是太小瞧AI了
内容提要
OpenAI的Liam Fedus回应陶哲轩等25位菲尔兹奖得主声明：双方均认同数学不能只剩答案，但数学家担忧AI追逐解题会损害知识传承，Liam则乐观认为未来AI能提出洞见、建立概念框架。争议焦点在于AI成果的署名、优先权与验证，AMS、LMS、CMI相继强调数学目的仍是人类理解。
延伸解读
争议背后的现实触发点
这场争论并非抽象理念之争，而是由具体事件引爆。2025年9月，纽约大学Tristan Buckmaster与Anthropic数学家Levent Alpöge公开了一项流体方程奇点研究，OpenAI几乎同期宣布内部模型在约1万个AI Agent协作下完成了相关证明。随后双方就研究方向是否被提前知晓、署名与优先权发生争执。这一冲突将AI参与数学研究后的归属与验证问题推到了台前。
数学机构的三种回应
面对AI的介入，几家权威数学机构给出了不同侧重的表态。美国数学学会强调最新进展建立在Navier、Stokes、Leray及近年Córdoba、Martínez-Zoroa、Buckmaster、Alpöge等几代数学家的长期积累之上，并重申数学的目的是人类的理解。伦敦数学会则将AI定位为加速探索与发现的工具，但认为提出问题、创造概念和形成理解仍是人的工作。克雷数学研究所对Navier–Stokes新证明保持谨慎，强调结果需公开、同行检验和长期验证，并指出重大难题的价值还包括过程中产生的新思想与新方法。
围棋类比的说服力与边界
Liam Fedus赞同用围棋类比数学：AlphaGo虽不解释走法，但人类棋手通过研究其落子和胜率提高了水平，并引用Noam Brown的判断认为数学领域可能出现类似变化。这一类比确实说明，即使AI不提供人类可读的解释，其输出仍可能成为人类学习的素材。但数学与围棋不同，数学知识需要经过讨论、简化和系统整理才能进入教材和传承，因此类比能说明影响，却不能直接回答署名、优先权和验证等制度性问题。
Q&A
陶哲轩等数学家对AI在数学中的发展主要担忧什么？
他们担心AI公司追逐解题成绩的方式会损害数学知识的积累与传承，具体包括：解出难题只是数学研究的一部分，答案需要被理解才能成为共同知识，AI匆忙发布成果可能忽视前人贡献，培养学生的过程不能被最终答案替代，以及AI有潜力但如何使用至关重要。
Liam Fedus如何回应陶哲轩等人的观点？
Liam Fedus赞同陶哲轩对概念理解的重视，但认为不能用今天AI的能力边界框定未来可能性。他乐观地认为，未来AI不仅能解决问题，还能提出有价值的洞见、建立新的概念框架，让数学家在此基础上继续探索。
AI在数学领域近期取得了哪些突破性进展？
2024年AI在IMO等竞赛数学中从银牌水平逼近金牌；2025年至2026年，模型开始挑战Erdős问题、几何猜想、千禧年问题等开放难题。例如，OpenAI内部模型反驳了已有近80年历史的Erdős单位距离猜想，并利用约1万个AI Agent在约88小时内找到了三维Navier–Stokes方程奇点的证明。
AI参与数学研究引发了哪些争议？
争议包括成果署名、优先权以及模型是否可能接触过相关用户数据。例如，纽约大学Tristan Buckmaster与Anthropic的Levent Alpöge公开了一项流体方程奇点研究，而OpenAI几乎同期宣布内部模型也完成了相关证明，随后双方就研究方向是否被提前知晓、署名和优先权发生争执。
美国数学学会、伦敦数学会和克雷数学研究所对AI在数学中的角色有何表态？
美国数学学会强调数学的目的在于人类理解，AI突破建立在几代数学家积累之上；伦敦数学会把AI定位为强大新工具，可加速探索，但提出问题、创造概念和形成理解仍是人的工作；克雷数学研究所对AI证明保持谨慎，强调结果需公开、同行检验和长期验证，并指出重大难题的价值还包括解题过程中产生的新思想和方法。
Liam Fedus用围棋类比说明了什么？
Liam Fedus赞同围棋的类比，并引用Noam Brown的判断：AlphaGo出现后，人类棋手通过研究它的落子和胜率提高了水平。他认为数学领域或许也会出现类似变化，即AI虽不解释走法，但人类仍能从中学习。
