AI 解数学难题，学界联手抵制
Navier-Stokes 方程组描述流体运动，近 90 年无数顶尖数学家未能攻克。2026 年 9 月，OpenAI 宣称其 AI 系统完成证明，引发学界强烈反弹。
千禧难题：88 小时突破
OpenAI 于 9 月 1 日启动验证项目，约 10,000 个协调 AI 代理耗时 88 小时完成 Navier-Stokes 存在性与光滑性证明。9 月 5 日得出解决方案，9 月 6 日完成 Lean 形式化验证，9 月 8 日官方发布。
关键时间节点：
- 9 月 1 日：验证项目启动
- 9 月 5 日：得出数学证明
- 9 月 6 日：完成 Lean 形式化验证
- 9 月 8 日：官方发布解决方案
OpenAI 明确表示不申请千禧年百万美元奖金，研究负责人 Dan Roberts 称这是”快照而非终结”。
学界抗议：联名公开信
25 位菲尔兹奖得主于 9 月 11 日签署公开信，指控 AI 实验室威胁数学研究核心。OpenAI 此前撤回对 CalTech 数学黑客马拉松赞助，投资约 200 万 AI 信用额度。
数学家批评焦点：
- AI 解决方案”匆忙发布”，无时间撰写正式论文和引用前人工作
- 证明尚未被独立数学家验证
- OpenAI 称不可能受 Tristan Buckmaster 过去两个月工作影响，引发质疑
莱顿宣言：五大威胁预警
2026 年 6 月，16 名来自 15 所大学研究者发布《莱顿宣言》，获国际数学联盟支持。宣言列出五大威胁：
- 不可靠结果：AI 可能生成看似正确但实际错误的证明
- 缺乏适当归属：人类研究者贡献被 AI 系统遮蔽
- 版权侵犯：训练数据包含受版权保护数学文献
- 验证危机：同行评审难以应对 AI 生成海量证明
- 透明度缺失：AI 决策过程难以追溯理解
验证困境：无法自动检查
证明长达数百页，包含复杂引理和推理链条。LLM 输出必须逐行验证，这在当前技术条件下几乎不可能。
哥德堡大学 Terry Tao 指出：证明的价值在于提供最高确定性和理解，而非仅得”对”答案。数学家需看到每一步推导逻辑，理解每个引理来源。
目前该证明尚未被独立数学家验证，这是学界最担忧问题。即使最终被接受，过程可能需要数年甚至数十年。
实践限制：AI 代理边界
OpenAI 使用约 10,000 个协调 AI 代理，引发新疑问：
- 代理如何确保推理一致性？
- 错误证明如何在 88 小时内被识别修正？
- AI 系统是否真正”理解”Navier-Stokes 深层含义？
OpenAI 研究负责人 Dan Roberts 承认 AI 进展具有”破坏性”，表示希望”更多地与数学界接触”。
人机协作新模式：
- AI 作为启发工具：帮助发现新研究方向
- AI 作为计算引擎：处理海量符号运算
- 人类保持主导：理论框架仍需人类把关
结语：谨慎乐观
OpenAI 突破是 AI 能力重大里程碑，但数学证明终极验证仍需人类完成。这场争议提醒：拥抱技术激情时，必须保持对知识生产敬畏。
数学家与 AI 公司冲突，本质是知识归属与验证标准深层矛盾。只有建立新协作框架，AI 才能真正成为数学研究助力，而非威胁。
— END —
LC 智趣厅 · 科技与生活的交点
ihygg.cn
