OpenAI 万个自主 AI 智能体证明纳维-斯托克斯奇点，千禧年大奖难题告破

stevenstrogatz · x · 2026-09-09

据 Quanta Magazine 报道，9 月 8 日 OpenAI 数学家团队宣布：在其指挥下运行的 1 万个自主 AI 智能体（基于一个未公开的高级模型）在三维纳维-斯托克斯方程中找到了「奇点」，证明该方程组在某些条件下会「爆炸」（blowup）——这解决了克雷数学研究所 2000 年提出的千禧年大奖难题之一，悬赏 100 万美元，尚余六个未解。证明已通过 Lean 形式化验证，正确性有较高保证。若经受住进一步审查，这将是迄今 AI 模型得出的最重要的数学证明，可能标志着数学家攻克难题方式的根本转折点。论文涉及刻画变化量关系的微分方程——描述世界最重要的数学工具，写下容易求解极难。该结果在数学界引发巨大反响与争议。