OpenAI称内部新模型仅训练一个月解决超100个数学难题
核心要点
- OpenAI 表示，其一个新内部模型仅经过一个月训练，便解决了 100 多个长期未决的数学难题。
- 数学家警告称，AI 生成的解答可能削弱对概念的理解。对此，OpenAI 正支持高等研究院设立一个独立的顾问团。
- 该顾问团包括菲尔兹奖得主 Timothy Gowers，将就 OpenAI 向研究界和公众共享结果的方式提供建议。但 OpenAI 并未让该团体就其研究进展速度提供建议。
面对来自数学界的日益强烈的批评，OpenAI 正在组建一个由领域内顶级研究者组成的独立顾问团，但在此之前，它先向公众透露，其一个新内部模型仅用一个月就攻克了 100 多个长期未决的数学难题。
OpenAI 称，其一个新内部模型已解决跨越数学大部分领域、包括 Navier-Stokes 千禧年难题 在内的 100 多个长期未解问题。该公司在宣布成立新的数学顾问团的同时公布了这一说法。
据 OpenAI 介绍，训练仅在 8 月 28 日才开始，整个过程大约持续了一个月。连公司自己的数学家也对进展之快感到“惊讶”，内部讨论已转向如何给予学术圈足够的预警时间以便做准备。据称，已解决的问题中包括 另一个千禧年难题，即 Hodge 猜想。
该模型具体解决了哪些问题、如何解决，以及这些结果对数学和科学意味着什么，目前仍是开放性问题。已发表的 Navier-Stokes 方程解法已引发科学界部分领域的激烈争论。
整件事看起来更像是一次战略转向。首席科学家 Jakub Pachocki 最近表示，团队故意没有将数学作为优化目标，而是专注于递归自我提升。怀疑者可能会认为，围绕解决著名数学问题展开的宣传是一种策略，旨在稳住现有投资者并吸引新资金，尤其是在 OpenAI 承认自己是在听说另一个团队（其中部分成员来自 Anthropic）已经攻克该问题的传闻后，才决定着手解决这项“千年数学奖难题”的情况下。
解决问题不等于理解问题
OpenAI 的发布直接回应了来自数学界的批评。在题为“数学领域 AI 的严重错位”的公开信中，数学家们警告说，不应仅凭能解决多少未解问题来衡量 AI 的表现。他们认为，单纯产出答案会削弱概念性理解，而这恰恰是数学的核心，最终将威胁人类的智力。
OpenAI 称，目前正与数学家合作，他们成立了数学与人工智能咨询小组，该小组挂靠于高等研究院。该小组旨在连接 OpenAI 与数学界及更广泛的公众。
该公司辩称，需要此类指导是因为数学突破具有广泛的实际用途，这使得负责任的开发成为超越数学领域本身的关注点。OpenAI 将此次合作称为“第一步”，并指出前方还有许多“关于 AI 如何支持数学理解，以及如何让这些能力惠及更广泛社区的难题待解”。
OpenAI 掌控着研究节奏
OpenAI 表示，该小组将独立运作。成员无需邀请即可提供建议，可以公开讨论该公司对数学的影响，并发表他们的建议。OpenAI 不向他们支付报酬，且由他们自行决定吸纳谁加入小组。
但这个小组无权干涉 OpenAI 前进的速度。公司写道：“重要的是，该小组不会就我们内部数学研究的推进节奏提供建议。”他们能决定的只是成果如何公开，而不是成果是否产出、多快产出。
Gowers 加入小组，但没有在公开信上签名
小组的创始成员之一是著名数学家、菲尔兹奖得主 Timothy Gowers。他没有在 25 位菲尔兹奖得主的联名公开信上签名，并在自己的博客上解释了原因。
Gowers 认同信中的大部分观点，也承认数学界确实面临困境。分歧在于数学的意义究竟是什么。公开信把概念理解视为主要目标，解题只是达成目标的手段；而 Gowers 认为这更像一个光谱：“光谱一端的数学家，主要动力是解决问题，概念理解只是达成这一目标的重要手段；另一端的数学家，主要动力是获得概念理解，解题才是达成那个目标的重要手段。”
他说，自己在剑桥主持的自动定理证明研究项目，在大语言模型（LLM）足够强大之后就失去了存在的意义。“换个说法，我们不得不吞下苦涩的教训——当然，我们一直清楚这种结果完全有可能发生，只是它到来的速度让我们措手不及。”
真正的风险是没人再想成为数学家
Gowers 最担心的是，维系数学知识传承的社会结构可能崩塌。那些原本可能攻读博士、成为“数学传统守护者”的人，也许会干脆认定这条路不值得走了。
“就拿我自己来说，我成为数学家的主要动力，是希望能解决那些悬而未决的难题——越出名越好。”如果抽走这个梦想，用什么来填补空缺，还是个未知数。
此外还有资金问题。政策制定者可能会审视AI驱动的数学能力，进而判定人类数学家已无必要。“我们亟需找到合适的方式，向外界阐明保留庞大的人类数学专家群体所带来的价值——即便发现定理的新证明已不再是他们的主要职责。”Gowers写道。 他之所以没有签署那封公开信，是因为他看不出信中呼吁的要求有哪些尚未正在发生。据他预计，能够解决重大数学问题的LLM将在数月内向公众开放。“因此，我觉得批评AI公司因生成过多的解法、且速度过快，并无意义。”