cherry 9月8日，OpenAI公布了一项数学研究成果，称其内部模型用时约88小时解决了纳维-斯托克斯方程中长期悬而未决的一个构造问题。这一题目属于克雷数学研究所2000年列入的千禧难题，带有100万美元奖金。OpenAI同时公开了论文和形式化验证代码，并明确表示不会申领奖金。
近90年未解的流体方程难题
纳维-斯托克斯方程描述流体运动，飞机设计、天气预报和血液流动研究都要用到它。难题在于，三维情形下，最初光滑的流动是否永远保持光滑，还是会在有限时间内出现失控的“奇点”。1934年，法国数学家让·勒雷证明了弱解存在，但光滑性一直悬而未决。OpenAI给出的结果构造出一种特定情形：在外力作用下，原本静止、光滑的三维不可压缩流体发生旋转、拉伸，速度在有限时间内失去上界，形成奇点，同时总能量仍然有限。这个结果对应克雷研究所允许的两种“光滑外力”情形，不含无外力情形，因此并未完全解决原始问题。
约1万个智能体协作解题
据OpenAI披露，这轮尝试始于今年9月1日的一条传言——有人解决了两个千禧难题。OpenAI得知这与两位数学家的研究有关，决定将一个训练尚未结束的内部模型用于测试。研究人员把智能体分组，各组可读取互联网资料、运行代码并在组内交流。最终完成纳维-斯托克斯结果的智能体组约有1万个并发智能体。此前，约100个智能体先用了50小时在无外力的欧拉方程上取得有限时间爆破的中间成果。团队随后把其他问题的智能体调来，用Codex整理中间结果，并提供给各组继续探索。9月5日，距离第一批智能体启动约88小时，结果出炉。之后又用17小时完成Lean形式化验证。据《连线》报道，OpenAI研究主管陈信翰称，这次实验的算力成本达到数百万美元。
与两位数学家的纠纷
结果公布前，两位使用过Claude和Codex辅助研究的数学家已与OpenAI发生争执，涉及论文署名、成果发布方式，以及他们存放在Codex中的研究草稿是否被用于训练模型。双方成果并不相同，但曾提供研究工具的公司如今也成为该领域的竞争者。OpenAI表示，发表这一结果是为了展示模型进展，外部人员可自行核查其论文和代码。
