💬 观点OpenAI
On the Navier–Stokes Millennium Prize Problem — OpenAI 用 AI 生成纳维
OpenAI 用 AI 生成纳维-斯托克斯问题解答，并附 Lean 形式化证明。
2026-09-08原文
本文为要点摘要，完整细节以原文为准。
- OpenAI 发布了一份 AI 生成的纳维-斯托克斯千年奖问题解答，包含书面说明和 Lean 形式化证明。
- 该解答由 AI 系统自动生成，展示了 AI 在高级数学推理和证明方面的潜力。
- 对开发者而言，这标志着 AI 工具链在形式化验证和复杂问题求解上的突破，可能改变未来数学研究和软件验证的方式。
原文：On the Navier–Stokes Millennium Prize Problem · 作者 OpenAI