7.7
深览指数
科技腾讯新闻·DeepTech深科技··AI 生成
数学家借AI取得千禧年难题重大突破，随后指控被OpenAI威胁并试图截胡
纽约大学数学家Tristan Buckmaster与合作者借助AI在流体力学方程爆破问题上取得关键突破，接近千禧年难题Navier-Stokes方程。在准备完善论文期间，Buckmaster指控OpenAI研究人员得知进展后，声称其内部模型已取得更深入突破，并提出协调发布和署名方案，要求将合作者从后续论文中排除，甚至以学术职业生涯相威胁。OpenAI方面否认指控。该事件将学术伦理、AI辅助证明的规范以及大公司对前沿研究的介入风险推至台前。适合关注AI、数学基础研究及学术伦理的深度读者。原文 ↗
核心观点
- ▍Buckmaster与Alpöge借助AI在证明带光滑外力的欧拉方程等流体力学方程的爆破问题上取得关键突破，这一成果逼近千禧年难题Navier-Stokes方程，但研究进程与成果发布因OpenAI的介入而被迫中断并提前公开。
- 01研究针对不可压缩多孔介质方程、Boussinesq方程和三维不可压缩欧拉方程，证明即使初始状态和外力极其光滑，流体依然可能产生奇异性（爆破）。
- 02关键突破发生于8月15日，相关论证于8月22日通过Lean定理证明工具的形式化验证，但大语言模型直接生成的证明文本质量极低，需要大量人工梳理。
- 03Buckmaster指控，在9月6日的通话中，OpenAI研究员Bubeck称其内部模型已生成约100页的证明，宣称解决了Navier-Stokes方程的爆破问题，且走的是与Buckmaster相同的技术路线。
- 04Buckmaster称，Bubeck提出了两个合作方案：一是先后发布论文，二是由Buckmaster撰写论文但注明问题由OpenAI模型解决，并要求将合作者Alpöge从后续论文中排除。
- 05Buckmaster回忆，在拒绝方案后，对方说出“你为什么要毁掉自己的职业生涯？”以及“公事公办、不再客气”等言论。
反方 / 局限
- — OpenAI研究员Bubeck公开否认所有指控，称自己始终恪守学术规范，并表示会提供更多说明。
- — Buckmaster在声明结尾坦承，自己并不清楚其Codex环境中的论文草稿是否被模型调阅或用于训练，没有公开证据支持其数据被不当使用的质疑。
- — 目前关于通话细节、OpenAI声称的百页证明均无公开录音或完整沟通记录，也未见OpenAI公开该证明供学术界核验。
Tristan BuckmasterLevent AlpögeSébastien BubeckNavier-Stokes方程欧拉方程Boussinesq方程千禧年难题LeanOpenAIAnthropic克雷数学研究所
12 分钟 · 3 卡片 · 6 资料
读原文 →