Wiki 知识库

全部文档 / 标签: Navier-Stokes

1 篇
清除

纽约大学数学家Buckmaster声明:借LLM攻克流体力学难题并指控OpenAI抢发

纽约大学数学家Tristan Buckmaster公开声明,与Levent Alpöge借助Claude、Codex等大语言模型,一个月内证明了多个流体力学方程(多孔介质方程、Boussinesq方程、Euler方程)在光滑外力下的有限时间爆破,并经Lean形式化验证,陶哲轩称之为了不起的成就。同时Buckmaster指控OpenAI在得知其进展后试图抢先发布类似成果,并施压要求将在Anthropic工作的合作者从署名中移除。事件涉及学术伦理、AI科研能力边界与大公司竞争,被称为数学领域的深蓝时刻。

技术 › LLM 宝玉 (@dotey) 2026-09-088.9 KB 70