RecodeX 重构消息，OpenAI于8日正式公布纳维-斯托克斯方程存在性与光滑性问题的C、D解爆破解。据其说法，9月1日听闻Anthropic可能解决千禧年难题的传闻后，公司动用比Astra更强的内部模型，以约一万个Agent并行运算，88小时消耗1300亿token，先于约50小时内攻克三维欧拉方程无外力爆破解，随后完成NS方程攻坚，并用GPT6 Astra验证17小时。
数学家Buckmaster与Alpöge此前已合作推进同一路径，8月15日取得Boussinesq方程和三维欧拉方程有外力爆破解，因整理AI证明耗时数周未及时发布。Buckmaster称9月3日曾致信OpenAI说明系私人合作，OpenAI研究员Bubeck否认曾要求排除Alpöge署名。双方就模型是否接触其Codex草稿各执一词。