#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 证出反例,却涉抢署名与盗用数据。
查证
来源与可信度
孤证
· 该证明得出「初始光滑的流体可在有限时间内发展出奇点」的结论
[1]
弱
· 所用模型仍在训练中,声称显着强于 GPT-6 Astra
[1]
孤证
· NYU 数学家 Tristan Buckmaster 称被要求从联合署名中移除在 Anthropic 任职的合作者 Levent Alpöge
[3]
另有 1 个来源跟进
延伸阅读
这篇复盘按日拆解了 9 月 6 日通话、9 月 7 日声明与 9 月 8 日发布的时间顺序,并把 Buckmaster 的指控与 OpenAI 的公开回应逐条对照,想判断谁的说法站得住,看这篇最省力。
来源仅提及 OpenAI 对 Buckmaster 质疑的回应口径:公司只称「去标识化的平台使用数据可能帮助训练了其模型」,这一表述未排除其数据进入训练数据。
这篇把争议放进数学研究文化的框架里看:前沿算力只有少数公司具备,同行评审被新闻稿绕过,人类数学家的位置因此变得不确定。