OpenAI被曝逼近霍奇猜想，数学自动化或成下一个爆点

千禧年难题的第二战场：霍奇猜想进入视野

围绕一道超高难度数学难题的优先权争议尚未平息，OpenAI的下一步动作已经浮出水面。有消息人士透露，公司内部员工预计，千禧年大奖难题中的霍奇猜想有望在较短时间内得到证明。而此前引发数学家群体不满的纳维-斯托克斯方程存在性与光滑性问题，正是同一奖项清单上的另一道挑战。

千禧年大奖难题共包含七道著名数学挑战，霍奇猜想位列其中。该猜想关注的核心问题是：当几何体由多项式方程定义时，其特定几何特征是否总能用更简单的代数组件来描述。这一表述看似抽象，却触及代数几何与拓扑学的基础地带。

不过，即便证明完成，OpenAI也可能不会立即对外公布。消息人士称，公司正在研究如何与数学界开展合作，以合适的方式发布成果，避免重蹈此前公关危机的覆辙。

昂贵赌注：数百万美元与代号“道格”的模型

攻克这类冷门艰深的数学难题，成本并不低。此前证明纳维-斯托克斯方程相关结论，耗费的成本很可能高达数百万美元。该消息人士表示，OpenAI当时使用了下一代预训练模型的一个变体，代号“道格”，完成了这项证明。

如此投入背后，是部分OpenAI研究员的一个判断：在软件工程之后，数学是大模型顺理成章要攻克的下一个领域。两个领域具备相似特征——都需要分步逻辑推理，得出的结果大多可以自动核验正误。

• 软件工程领域的自动化变革，被认为可能在6至9个月内在数学领域重演。
• 机器学习本身涉及大量数学，数学难题的突破有助于推进机器学习研究的自动化。
• 这种自动化，被视为迈向递归自改进——即AI自主研发新AI——目标的重要一环。

测试模型推理上限，也是竞赛筹码

用前沿模型挑战从未被证明的数学难题，同样能帮助研究员评估模型的进展水平与复杂推理能力。倘若模型能够破解纳维-斯托克斯方程、霍奇猜想这类难题，或许意味着它也有能力解决生物、化学等其他领域同等难度的问题。

另一层考量在于宣传价值。只要发布成果时不会引发数学家群体的强烈不满，这类突破就能为OpenAI打造亮眼的新里程碑，在通用超级人工智能的竞赛中作为筹码。对一家处于激烈竞争中的公司而言，这自然是有利的。

从行业视角看，大模型向数学深处推进，正在模糊“工具”与“发现者”的边界。自动核验的数学证明天然适合机器参与，但成果归属、学术合作与发布伦理，仍是比技术本身更棘手的课题。OpenAI能否在霍奇猜想上复现“道格”的路径，又将如何与数学界共处，将决定这场自动化浪潮能走多远。