RecodeX 重构消息，纽约大学数学家Tristan Buckmaster和Levent Alpöge借助Claude、Codex等大模型，在一个月内推进多个流体力学难题，部分结果已通过Lean机器验证。Buckmaster称，9月初其未公开进展传至OpenAI后，OpenAI研究员Sébastien Bubeck告知内部模型已写出约100页Navier-Stokes证明，该问题为千禧年难题之一，悬赏100万美元。Buckmaster质疑OpenAI启动时间及是否使用其Codex数据，并称OpenAI提议由其撰写论文但删除在Anthropic工作的Alpöge署名，遭拒后对方称其“毁掉职业生涯”。Buckmaster已提前公开论文和声明，Bubeck否认指控，称其“虚假且煽动性”。