资讯

Buckmaster and Alpöge Post AI Fluid Blowup Proofs, Dispute OpenAI Contact

unite.ai·2026/9/8 17:01:01🔗 原文

📋总体概括

NYU数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge公开三篇预印本,证明不可压多孔介质方程、二维Boussinesq系统及三维不可压Euler方程在光滑外力下的有限时间爆破,并附带Lean形式化验证。Buckmaster同时披露与OpenAI的接触细节并与其说法产生争议,将数学前沿突破与AI公司关系纠纷一并推上公开舞台,事件在数学界和AI圈均引发强烈关注。

关键信息

  • 两人公开三篇预印本,证明三大流体方程在光滑外力下存在有限时间爆破解
  • 证明附带Lean形式化,可机器验证,大幅降低同行质疑成本
  • 涉及三维不可压Euler方程,属百年级数学难题的关键突破
  • Buckmaster公开声明中提及与OpenAI的接触,并就相关说法与该公司产生公开争议
  • 研究者分属NYU与Anthropic,凸显AI实验室已深度参与基础数学前沿研究

🔥犀利点评

这可能是 Clay 千禧问题级别的信号:Euler方程爆破一旦坐实,流体力学教科书要改写。而Lean形式化让这次无法靠「我信不信」来扯皮——机器验证封死了争论空间。更耐人寻味的是Anthropic研究员署名和OpenAI的接触纠纷:顶尖数学家的流动性正在成为AI公司的军备竞赛,Buckmaster把私下调侃公开化,等于告诉全行业——挖人可以,别把数学家当傻子。数学史节点叠加AI人才战,双重爆点。

本文由本站自动聚合,以下为原始来源:前往 unite.ai 阅读全文