🔻纽约大学数学教授特里斯坦 · 巴克马斯特（Tristan Buckmaster）和 Anthropic 研究员莱文特 · 阿尔珀格（Levent Alpöge）在前一天刚发布了相关流体方程的研究成果。
🔻巴克马斯特与阿尔珀格公开了三篇预印本（并附 Lean 形式化），内容是：在光滑外力下，不可压缩多孔介质方程、二维 Boussinesq 方程、三维不可压缩 Euler 方程可以在有限时间内爆破。他们明确写了大量使用 Claude 与 OpenAI Codex（以及后续写稿用的其他模型），草稿长期放在 Codex 会话里。这不是 Clay 百万美元的“无外力 Navier–Stokes 存在与光滑性”原题，而是同一家族里更接近、但仍带外力的版本；技术路线来自 Córdoba 与 Martínez-Zoroa 开辟的 smooth forcing 方向。
🔻巴克马斯特质疑 OpenAI 在听闻他们的进展后，才将资源转向其一直在探索的“外力驱动”方法，把大量资源投向他们一直在走、且他声称“几乎没人走”的 smooth force / Fefferman 陈述中 c、d 选项 那条路。
🔻他担心自己和阿尔珀格存储在 OpenAI 的 Codex 模型中的研究数据可能被用于训练或参考，但未得到明确答复。
🔻OpenAI 随后宣称：未发布的下一代内部模型（公司称为显著强于 GPT-6 Astra）用约 1 万个协同智能体、约 88 小时、数百万美元算力，得到 forced Navier–Stokes 有限时间爆破的约百页证明，并做了 Lean 形式化。
🔻9 月 6 日通话中，OpenAI 研究员布贝克等人告知：内部模型已写出 forced Navier–Stokes 的长证明。巴克马斯特追问首次 prompt 时间，对方最终承认是在“他们工作的消息传到 OpenAI 之后的几天”。他直接问：模型是否训练过、或能否访问他们整年放进 Codex 的草稿。答复是模型没有查找具体用户数据；再问训练，他称没有得到明确回答。
🔻他还描述了关于发表顺序、以及是否把阿尔珀格（因在 Anthropic）从作者名单拿掉的提议。巴克马斯特表示，在他与莱文特·阿尔波格利用人工智能模型在纳维-斯托克斯方程上取得进展后，OpenAI 向他施压。据巴克马斯特称，OpenAI 声称其内部模型已生成了一份约 100 页的证明，遵循了同样不寻常的路径。布贝克两次坚称，他希望阿尔珀格因在 Anthropic 工作而被从作者名单中移除，巴克马斯特如是说。当巴克马斯特拒绝时，布贝克据称问道：“你为什么要毁掉自己的职业生涯？”
🔻OpenAI 研究员布贝克否认了巴克马斯特的这些指控，强调研究人员和 AI 智能体均未访问具体用户数据。但 OpenAI 也在声明中承认，“不排除”来自他们使用 OpenAI 产品的匿名化数据帮助改进了模型。布贝克表示：OpenAI 于 8 月 28 日开始训练一款具有高级数学能力的新模型。在听到关于 Anthropic 进展的传闻后，公司将更多资源转向了 Navier-Stokes 问题。“周日早上，我们得到了最终解决方案，经过 Lean 形式化验证，一切完备。”
#OpenAI宣布攻克千禧年难题##热点现场##海外新鲜事#