OpenAI称其内部模型仅训练一个月就解出100多道长期未解的数学难题

OpenAI 称其内部模型在约一个月训练后解出 100 多道长期未解的数学题,并因此成立了一个数学顾问组;但数学家担心,AI 批量产出答案会削弱数学真正看重的概念理解。

一句话看懂:OpenAI 称其内部模型在约一个月训练后解出 100 多道长期未解的数学题,并因此成立了一个数学顾问组;但数学家担心,AI 批量产出答案会削弱数学真正看重的概念理解。

事件核心:发生了什么

据 The Decoder 报道,OpenAI 表示,一个全新内部模型在 8 月 28 日启动训练后,约一个月时间内解决了覆盖数学多数学科的 100 多道长期未解难题。OpenAI 还称,已解决的题目中包括 Navier-Stokes 千禧年问题,以及另一道千禧年问题 Hodge 猜想。

同步动作是,OpenAI 宣布支持一个设在普林斯顿高等研究院的独立顾问组织“数学与人工智能顾问组”,创始成员包括菲尔兹奖得主 Timothy Gowers。该组织可主动提建议、公开谈论 OpenAI 对数学的影响,也可自行决定成员构成,但不从 OpenAI 领取报酬。OpenAI 明确,顾问组不负责建议公司如何控制内部数学研究的推进节奏,只在成果如何向研究界和公众分享上有发言权。

目前公开信息显示,模型具体解出了哪些题、用什么方法、结果是否经同行验证,仍未披露。已发布的 Navier-Stokes 解答已在科学界引发激烈争论。

为什么重要

这则消息不只是“AI 又刷题了”。它勾出两条主线:一是大模型能力是否正从语言、图像生成扩展到高门槛的数学推理;二是 AI 研究与学术共同体之间的关系正在变得紧张。此前有数学家发表公开信,反对以“解出多少开放问题”衡量 AI 在数学上的进展,认为这会侵蚀概念理解。OpenAI 成立顾问组,是对这类批评的正面回应。

另一处值得注意的细节是,OpenAI 首席科学家 Jakub Pachocki 此前曾说团队刻意不为数学做优化,而聚焦递归自我改进。如今高调解数学难题,至少说明其内部研究重心或对外叙事出现了调整。目前公开信息显示,OpenAI 是在听说另一支含 Anthropic 研究者的团队可能已攻克该千禧年问题后,才跟进这一方向的。

对用户/开发者/创作者的影响

对普通用户来说,短期内看不到可直接调用的新产品或 API。这些成果来自内部模型,不是已上线的 ChatGPT 功能。但若数学推理能力最终产品化,代码生成、数据分析、科研辅助、教育类 AI 应用的可靠性可能受益。

GamsGo AI

AI 工具推荐

想把多个 AI 模型放在一个入口?

GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型,适合写作、绘图、视频和日常 AI 工作流。

了解 GamsGo AI

推广链接:通过此链接购买,我可能获得佣金,不影响你的价格。

对开发者而言,值得观察的是 OpenAI 是否把相关推理能力开放成 API 或新模型版本;如果开放,算力成本和调用价格将决定它能否真正进入生产环境。对科研与内容创作者,AI 辅助证明的普及会带来署名、验证与引用规范的问题,学术出版和同行评审流程可能被迫调整。

值得关注的后续

一是模型解法是否公开、是否通过同行评审,这决定 100 多道题的含金量。二是顾问组能否真正影响 OpenAI 的成果发布方式,尤其是它被排除在研究节奏建议之外,独立性有多大成疑。三是 Anthropic 等竞品团队是否披露类似数学成果,若跟进,数学推理可能成为大模型竞争的新战场。

来源:The Decoder AI News

celebrityanime
celebrityanime
文章: 24969

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注