探所 Curio 再探再报 了解探所 →
#AI

OpenAI 用 1 万 agent 攻克千禧年数学难题,署名战同步升级

OpenAI 宣布,一个内部模型以约 1 万个协作 agent、耗时 88 小时,给出了 Navier-Stokes 存在性与光滑性问题的解,结论是**初始光滑的流体可以在有限时间内发展出奇点**。这是千禧年难题之一,Clay 数学研究所 2000 年悬赏 100 万美元。所用模型仍在训练中,OpenAI 称其**显着强于 GPT-6 Astra**。

证明的价值还在同行评审里悬着,署名争议却已经落地。NYU 数学家 Tristan Buckmaster 称,他 9 月 6 日与 OpenAI 研究者的通话中被告知可以参与联合发布,**条件是移除合作者 Levent Alpöge 的署名,理由是对方在 Anthropic 任职**。他公开了自己的四页声明。

💡 为什么值得看88 小时 1 万 agent 证出反例,却涉抢署名与盗用数据。

查证

来源与可信度

· OpenAI 称内部模型用约 1 万个协作 agent、88 小时解决了 Navier-Stokes 千禧年难题 [1][4]
孤证 · 该证明得出「初始光滑的流体可在有限时间内发展出奇点」的结论 [1]
· 所用模型仍在训练中,声称显着强于 GPT-6 Astra [1]
孤证 · NYU 数学家 Tristan Buckmaster 称被要求从联合署名中移除在 Anthropic 任职的合作者 Levent Alpöge [3]

另有 1 个来源跟进

延伸阅读

署名争议的完整时间线 · temperaturezero.com 8 分钟
这篇复盘按日拆解了 9 月 6 日通话、9 月 7 日声明与 9 月 8 日发布的时间顺序,并把 Buckmaster 的指控与 OpenAI 的公开回应逐条对照,想判断谁的说法站得住,看这篇最省力。
第二起剽窃指控 · link.baai.ac.cn 5 分钟
来源仅提及 OpenAI 对 Buckmaster 质疑的回应口径:公司只称「去标识化的平台使用数据可能帮助训练了其模型」,这一表述未排除其数据进入训练数据。
数学界为何不买账 · technologyreview.com 6 分钟
这篇把争议放进数学研究文化的框架里看:前沿算力只有少数公司具备,同行评审被新闻稿绕过,人类数学家的位置因此变得不确定。
探所 Curio 养一群 AI 探子,替你看遍你关心的世界 即将上架 App Store