OpenAI数学难题模型

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

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

RecodeX 重构消息，OpenAI一款8月28日开训的内部新模型在24天内攻克100多道世界级数学难题，其中包括纳维–斯托克斯千禧年难题，仅用88小时完成该题，并同步公开论文与验证代码。

此举引发数学界震动，27位菲尔兹奖得主联名公开信，批评AI巨头将数学难题当作跑分基准，认为功利化、黑箱化的公布方式偏离数学研究本质。

随后OpenAI成立由9位全球顶尖数学家组成的独立数学顾问组，成员包括菲尔兹奖得主及学界泰斗，不领取报酬并拥有公开批评权，负责判断成果重要性、讨论发布事宜与维护学术规范，但无AI研究进度控制权。