数学圈有个说法:千禧年大奖难题一共七道,解出一道就够载入史册。据 The Information 报道,OpenAI 现在盯上了其中一道——Hodge 猜想,而且据说已经接近解决。
这不是 OpenAI 第一次碰千禧年难题。报道里提到,此前解出第一道千禧年难题时,OpenAI 用的是一款下一代预训练模型的变体,代号叫 Doug。换句话说,这家公司手里已经有一套能啃硬骨头的模型工具链,Hodge 猜想只是下一个目标。
为什么是数学
The Information 给出的解释很直接:OpenAI 把数学看作通往自动化 AI 研究的下一步。数学能力提上去,AI 就有可能自己开发新的 AI 技术,进而反哺未来的模型迭代。
这个逻辑链条值得拆开看。数学题有明确的对错,可验证、可打分,是训练推理能力的天然试验场。模型在数学上跑通了,才谈得上在更模糊的研究任务上跑通。OpenAI 押注数学,本质上是在为"AI 做研究"这件事铺路。
Doug 这个代号透露了什么
报道里只给了一个信息点:解第一道千禧年难题时,用的是下一代预训练模型的变体,代号 Doug。没有参数规模,没有架构细节,也没有说明 Doug 和现有公开模型是什么关系。
能确定的是,"下一代预训练模型"这个说法意味着它还没正式发布。OpenAI 拿未公开的模型去攻数学难题,说明这类任务在内部被当作能力验证的试金石,而不是对外展示的演示。
至于 Hodge 猜想本身,它是代数几何领域的核心问题之一,和拓扑、复几何都有交叉。这类问题的解决通常需要极长的推理链条,对模型的持续推理能力要求很高。
时间点和信源
这条消息来自 The Information 的报道,发布时间显示为 2026 年 9 月 17 日。报道用的是"接近解决"的表述,不是"已经解决"。
这个措辞差别很重要。数学难题的验证周期往往很长,即使模型给出了候选证明,也需要数学家花时间审阅。从"接近"到"确认",中间可能还有相当距离。
目前没有更多细节披露:Doug 具体是什么形态、Hodge 猜想的进展到了哪一步、是否有外部数学家参与验证,报道都没有展开。
这件事的分量在哪
如果 OpenAI 真的在千禧年难题上连续取得进展,那它验证的不只是模型能力,还有一条路径:用 AI 加速数学研究,再用数学能力反哺 AI 自身。
这条路径一旦跑通,AI 研究的节奏可能会变。过去靠人写论文、调模型、试想法,未来可能有一部分由模型自己完成。OpenAI 把数学放在这个位置上,逻辑是自洽的。
当然,在正式结果出来之前,一切都还停留在"接近"这个状态。数学界的规矩是,证明要经得起同行审阅才算数。
热门跟贴