纽约大学数学家Tristan Buckmaster透露，OpenAI内部一款神秘模型（或为下一代Bel）已攻克千禧年难题“纳维-斯托克斯方程”的关键部分，生成了长达100页的严谨数学证明。
同日，Tristan与Levent Alpöge公开了在LLM辅助下取得的三类流体方程突破，论文与Lean代码均已上线，菲尔兹奖得主陶哲轩评价为“卓越的成就”，但强调距离最终证明仍有技术困难。
然而事件迅速转向争议：Tristan披露OpenAI曾要求移除Alpöge的署名，因其为Anthropic员工，并质疑模型是否使用了其未公开的研究数据。