千禧年难题

一万个 AI 干了 88 小时：OpenAI 说它证明了流体方程会「炸」，数学界先吵了起来

作者

OpenAI 公布，一个比 GPT-6 Astra 更强、尚未公开的内部模型组织了约一万个 AI 智能体，用 88 小时给出纳维-斯托克斯方程存在性与光滑性问题的证明，并公开 166 页论文与 Lean 验证代码。该题是克雷数学研究所七大千禧年难题之一，OpenAI 称不会申领 100 万美元奖金。数学界对方法论提出了质疑。