25 位菲尔兹奖得主：AI 与数学错位

AI 正在威胁数学智力工作的真实性与人类传递链。2026 年 9 月 11 日，25 位菲尔兹奖得主联合签署公开信《A Severe Misalignment of AI in Mathematics》，直指当前 AI 实验室以解决著名数学问题为模型能力基准的做法，正在损害数学科学与数学界。这份声明由陶哲轩、丁永、Pierre Deligne 等顶尖数学家共同签署，标志着学术界对 AI 介入数学研究的集体抗议。

学术界的集体愤怒

25 位菲尔兹奖得主的联合声明是学术界集体行动的信号。声明呼吁学界与科技公司紧急应对，要求建立 AI 与数学研究的合作机制，确保 AI 工具的使用不会损害数学科学的真实性与人类传递链。

OpenAI 的千禧年难题突破

OpenAI 不计划领取 100 万美元千禧年难题奖金。2026 年 9 月 8 日，OpenAI 内部模型（强于 GPT-6 Astra）经约 10,000 个并发 AI 代理协作 88 小时完成 Navier-Stokes 存在性与光滑性证明，证明显示三维不可压缩流体在有限时间内可发展奇点，且已用 Lean 形式化验证。然而，这一行为本身已成为学术界的争议焦点。OpenAI 称不计划领取奖金，仅作为模型能力进展证据，但数学家们认为这种方式虽然技术上可行，却违背了数学研究的基本伦理。

核心争议：AI 废料与人类证明

AI 辅助证明与人类证明存在本质差异。NYU 教授 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 联合发布 AI 辅助证明，解决 3D Euler 方程奇点问题。Buckmaster 称其早期收到的 LLM 生成证明”是我读过的最糟糕的证明”，最终结果被 Alpöge 形容为”AI 废料”。两人计划发布三篇论文，其中一篇”只能被描述为 AI 废料”，因 OpenAI 传闻被迫提前公开进度。声明暗示 OpenAI 可能通过其 Codex 产品获取了两人未公开的工作数据，引发数据使用争议。

• 双方证明结果不同：Euler 方程涉及强制项，Navier-Stokes 方程假设无外力
• OpenAI 称 9 月 1 日启动项目时，Buckmaster 与 Alpöge 的工作尚未公开
• Axios 报道指出，OpenAI 的突破被未公开工作引发的信用争议笼罩

信任危机与数据伦理

争议焦点在于实验室工具能否被研究者安全用于未发表成果。OpenAI 首席研究官 Mark Chen 称”没有人员或 AI 系统搜索用户数据解决此问题”，对指控”感到失望”。然而，前沿实验室工具如 Codex 能否被研究者安全用于未发表成果，而不影响数据训练，仍是核心争议。数学家们担心，如果 AI 公司可以获取研究者的未公开工作，将形成”数据窃取”的恶性循环，破坏数学研究的基本信任机制。

理论根基：莱顿宣言的警示

《莱顿宣言》为本次争端奠定理论基础。2026 年 6 月 2 日，由 16 位来自 15 所大学的数学家签署的《莱顿宣言》已指出 AI”正在挑战数学的核心价值”，包括信任、归因、教育、出版与研究自主性。本次 25 人宣言明确引用《莱顿宣言》，称其”同样关注 LLM 证明如何改变数学工作”。源于 2025 年 9 月在洛伦茨中心举办的研讨会，宣言得到国际数联（IMU）背书，成为学术界集体行动的先导。

**关键结论**：AI 公司”以解决著名数学问题为模型能力基准”的做法正在损害数学科学与数学界。数学界要求任何解决方案必须经数学界理解、写入教科书并融入数学传统，否则”人类传递链将断裂”。

— END —
LC 智趣厅 · 科技与生活的交点
ihygg.cn