25位菲尔兹奖得主联名发难：OpenAI的数学突破是科学贡献还是公关秀

📊 发布时间：2026年9月11日声明发布，本周持续发酵

🎯 主要人物：陶哲轩、邓煊、Peter Scholze等25位菲尔兹奖得主、OpenAI

🕒 整理时间：2026年9月

一、事件概述：数学界罕见的集体发声

9月11日，包括陶哲轩、邓煊、Peter Scholze、Manjul Bhargava、Maryna Viazovska在内的25位菲尔兹奖得主联合发布声明，标题为《AI在数学领域的严重错位》。菲尔兹奖被视为数学界的诺贝尔奖，25人联名发声在这个领域极为罕见。截至发文时，该声明已获得超过2415人联署支持。

声明并未直接点名OpenAI，但所有人都清楚矛头所指——这是对OpenAI 9月8日宣布用内部模型解决Navier-Stokes方程问题的直接回应。

二、具体指控：抢发结果、缺乏署名、粗制数学

声明的核心论点是：AI公司把解决著名数学问题当作衡量模型能力的基准和竞争指标，这与数学界的目标存在严重错位。数学家们写道：“这些结果往往是仓促宣布的，没有留出时间进行规范的成文、厘清新方法与新思路，也没有引用相关的前人工作。”

他们进一步指出，这引发了严重的署名与抄袭问题——如果没有愿意投入精力去整理、验证并将AI构思的想法纳入数学体系的数学家，这些想法将永远无法真正“活起来”，人类之间至关重要的知识传递链条也会因此断裂。此前，加州理工的数学家已发出公开信，将这类现象称为“粗制数学”（slop mathematics），并指出验证、传播乃至有时推翻这些结果的工作，都是无偿、不被致谢、不被承认的。

三、更劲爆的细节：88小时抢跑与通话中崩塌的说法

据披露，OpenAI宣称其内部系统仅用88小时就解决了三维不可压缩Navier-Stokes方程的有限时间奇点问题，并发布了166页的论文与Lean形式化验证，同时声明不会申领百万美元奖金。但普林斯顿数学家Tristan Buckmaster此前正与合作者Levent Alpöge共同推进相关证明，他怀疑OpenAI的模型学习了他们尚未发表的工作成果。

经过调查，OpenAI否认了这一说法，但有报道称，一位数学家在与OpenAI的通话中，其“极少人工介入”的说法出现了自相矛盾之处。这场争议已经从单纯的学术优先权问题，演变为对AI公司数据来源与透明度的更广泛质疑。

四、OpenAI退出加州理工黑客松

在公开信发布后，OpenAI宣布退出一场由AI公司赞助、原定在加州理工举行的数学黑客松活动。加州理工现任与前任数学家在公开信中表示，这类活动“很可能对数学界造成破坏性影响”，问题在于AI公司宣布解决理论难题后，却把实际的验证与应用工作留给真正的研究者去完成。

这个退出决定被外界解读为OpenAI在舆论压力下的一次让步，但争议本身并未平息。

五、双方立场：基准竞赛与概念理解的分歧

声明特别强调，他们并不否认AI辅助数学的潜力，真正的问题在于“把解决名题当作展示模型能力与竞争指标”的逻辑本身。陶哲轩在接受采访时表示：“从技术上讲，所有的情节线都解决了，但体验中大部分的价值都丢失了。”他将最近这一波AI驱动的数学发现描述为“相当令人担忧”。

声明提出的核心诉求是：给数学“消化”的时间——不应只追求发布速度，而应让独立专家有时间阅读长篇证明、复现形式化验证环境、厘清关键引理，并明确其适用范围与局限性。

六、对科研与开发者意味着什么

对于关注AI在科研领域应用的你来说，这场争议提供了几个值得思考的信号：

速度与严谨性的张力正在成为普遍议题：不只是数学，任何依赖AI加速科研的领域都可能面临类似的验证与署名争议。
人类专家的验证劳动正在被重新定价：加州理工数学家提出的“无偿劳动”问题，可能促使行业建立新的致谢与补偿机制。
基准竞赛与真实理解之间需要平衡：这与你之前关注的reverify反幻觉验证工具形成呼应——正确答案本身不等于可信、可复现的知识贡献。

七、参考来源

💬 欢迎交流：你怎么看AI公司把解题当作能力展示这种竞争逻辑？这会伤害真正的科学进步，还是加速它？