OpenAI：内部模型证明，在施加光滑外力时，三维纳维-斯托克斯方程可在有限时间内产生奇点；约 1 万个协同 AI 智能体，耗时 88 小时，证明已用 Lean 形式化由 AI 翻译，经编辑部审校2026/09/08 · 科学技术AI 智能体编排来源openai.com ↗¶ cfknhmsr6