纽约大学数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge今日公布三项流体方程有限时间爆破结果，包括3D不可压缩Euler方程，使用AI辅助并经Lean形式化验证。Buckmaster同期发布声明称，OpenAI在获知其工作后，内部模型迅速生成约100页受迫Navier-Stokes爆破证明，并提议由其单独署名或协调发布，期间两次要求排除Alpöge因其Anthropic身份。OpenAI未立即回应具体指控。[[1]](https://manifold.markets/calour/did-openai-just-solve-navier-stokes)
此争议凸显前沿AI数学发现中的优先权与透明度问题，事件仍在发酵。
信源:https://cims.nyu.edu/~tristanb/statement.pdf