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

> OpenAI于9月分享了一份纳维–斯托克斯问题解答的形式化验证草稿，但专家认为它与声称采用的方法并不吻合，贡献也尚不明确。

Oossa · 2026-10-17 · https://oossa.com/zh/openai-releases-166-page-navier-stokes-draft-mathematicians-raise-doubts

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生成的结果，许多数学家认为这贬低了该领域的价值。快速产出也让数学界疲于应对。

## 事实

- OpenAI于2026年9月初发布了一份166页的纳维–斯托克斯问题潜在解答草稿。
- 草稿使用Lean编写，这是一种能够自动检查逻辑推理步骤的形式化验证语言。
- OpenAI运行了约10,000个模型实例，耗时88小时，生成了1300亿个token。
- 研究员Noam Brown表示，草稿成果中不到10%归功于多智能体架构。
- 2026年10月初，OpenAI在GitHub上发布了约400项额外的AI生成结果。

## 为什么重要

对普通读者来说，这件事表明，即便投入巨量AI资源，产出的成果仍可能受到专家质疑。这也说明，AI生成的数学证明尚不能替代人工验证，因此这道有奖金的难题仍未解决。

## 来源与参考

1. [Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof](https://the-decoder.com/mathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof/) – The Decoder, 2026-10-17

最后更新: 2026-10-17