大模型之家讯 9月23日，OpenAI 发布博文披露：一款 8 月 28 日开始训练的内部新模型，至 9 月 21 日官宣仅用 24 天便攻克 100 多道世界级数学难题，包括纳维-斯托克斯（NS）千禧年难题——此前 9 月 8 日该模型曾在 88 小时内攻克 NS 难题，公开 166 页论文和 Lean 形式化验证代码，攻关动用 1 万多个并发 Agent、消耗约 3000 亿输出 Token。OpenAI 表示进展已引发如何审查与发布的内部讨论；此前 27 位菲尔兹奖得主曾联名批评 AI 巨头把公开难题当跑分 benchmark，公告中直接引用该文。同日，OpenAI 成立独立数学顾问组，首批 9 名成员包括菲尔兹奖得主 Timothy Gowers、Martin Hairer 及理论物理大家 Edward Witten 等，被业内称为数学界”复仇者联盟”。
