OpenAI发布166页纳维–斯托克斯问题草稿，数学家质疑其价值

2026年9月初，OpenAI发布了一份166页的草稿，称其可能解决纳维–斯托克斯问题。该问题是克雷数学研究所七个“千禧年大奖难题”之一，每题奖金100万美元。草稿使用Lean编写，这是一种能够自动检查每一步逻辑推理的形式化验证语言。OpenAI表示，这份证明采用了西班牙数学家Diego Córdoba和Luis Martínez‑Zoroa的方法。

数学家认为方法对不上

包括EPFL的Gonzalo Cao‑Labor在内的多位数学家审阅了这份草稿，并表示其中的推理与Córdoba–Martínez‑Zoroa的方法并不相符。他们认为两者只有表面上的相似之处。克雷数学研究所自草稿发布以来一直在审查这份材料。

算力投入巨大，影响尚不明

OpenAI运行了约10,000个模型实例，持续约88小时，处理了1300亿个token来生成这份草稿。研究员Noam Brown估计，成果中不到10%可归因于多智能体架构，这意味着大部分工作可能来自基础模型本身。由于尚无针对如此规模的系统性测试，多智能体集群究竟发挥了什么作用仍不得而知。

后续发布招致批评

10月初，OpenAI又在一个内容较为松散的GitHub合集里添加了约400项AI生成的结果，许多数学家认为这贬低了该领域的价值。快速产出也让数学界疲于应对。