**OpenAI官宣：88小时攻破千禧年难题！**

> <p\>刚刚，OpenAI 宣布，一个内部模型生成了纳维-斯托克斯（Navier-Stokes）存在性与光滑性问题的完整证明，并已通过 Lean 形式化验证！</p\>

**来源信息**
- **来源**：新智元：资讯（API）
- **分类**：ai-models
- **发布时间**：2026-09-10 08:04（北京时间）
- **原文**：[打开原文](https://aiera.com.cn/asi-post.html?id=113025)