OpenAI 用约 1 万个 AI 智能体 88 小时产出 Navier-Stokes 问题证明

OpenAI 宣布约 1 万个 AI 智能体用一款比 GPT-6 Astra 更强的未发布模型工作约 88 小时，产出 Navier-Stokes 存在性与光滑性问题的候选证明，随后又花 17 小时用 Lean 完成形式化与验证，166 页证明和 Lean 代码已公开。该构造针对带外力版本，Anthropic 曾指控 OpenAI 使用其 Codex 对话日志，Sam Altman 予以否认。