RecodeX 重构消息，OpenAI披露，一款8月28日才开始训练的内部新模型已攻克100多道长期开放的数学难题，横跨数学大部分领域，其中包括纳维–斯托克斯千禧年难题。此前9月8日，该模型在约88小时内给出纳维–斯托克斯方程存在性与光滑性问题的证明，并公开166页论文和Lean形式化验证代码，随后又用17小时完成形式化与验证。

OpenAI同时宣布成立由9位数学家组成的独立数学顾问组，成员来自剑桥、牛津、哈佛、斯坦福、伯克利、普林斯顿高等研究院等机构，包括菲尔兹奖得主Timothy Gowers、Martin Hairer以及理论物理学家Edward Witten。该顾问组不领取OpenAI报酬，可公开批评公司，但不负责建议OpenAI控制内部数学研究进度。