01
一道困扰数学界约90年的千禧难题，OpenAI称，AI用88小时找到了证明。
9月8日，OpenAI公布纳维—斯托克斯（Navier–Stokes）难题的研究成果。公司动用了一个据称比GPT-6 Astra更强的内部模型，组织约1万个并发智能体寻找解法，随后又用17小时完成Lean形式化与验证。论文和验证代码已一并公开。
这道题悬赏100万美元。但消息公布前，两位数学家已经和OpenAI吵了起来：论文该署谁的名、成果该怎么发布，还有他们存在Codex里的研究草稿，究竟有没有被用来训练模型。
他们此前用Claude和Codex辅助研究，已经取得了相关的欧拉方程成果。OpenAI则在听到研究进展的传言后，调动内部模型和大量算力投入攻题。双方成果并不相同，但原本提供研究工具的公司，如今也成了同一领域的竞争者。
0
评论 (0)