不到一个月连破两道千禧年大奖难题？消息称 OpenAI 即将攻克霍奇猜想

据《The Information》今日（9月17日）晚间援引一位了解解法的人士透露，OpenAI 已经接近攻克“千禧年大奖难题”中的又一道题目。这组著名数学题共包含七道，此前引发广泛关注的“纳维-斯托克斯存在性与光滑性问题”便是其中之一。

该知情人士表示，OpenAI 的员工预计，下一道“霍奇猜想”有望在不久后被解决。

IT之家注：霍奇猜想探讨的是由多项式方程定义的几何形状中，某些几何特征是否总能以更简单的代数结构加以描述。不过，即便找到解法，OpenAI 可能也不会立即对外公布。公司正在考虑如何与数学界合作发布消息，以避免再次引发公关危机。

据悉，OpenAI 为攻克纳维-斯托克斯问题，可能已投入数百万美元。前述人士透露，当时使用的是一款预训练模型的下一个变体，代号为“Doug”。

部分 OpenAI 研究人员认为，继软件工程之后，数学是大模型最自然的下一块试验田。两者有一个关键共同点：都依赖逐步的逻辑推理，且结果往往能自动验证对错。一些研究人员甚至预测，过去一年在软件工程领域发生的自动化浪潮，未来6至9个月也可能在数学领域重现。

攻克高难度数学问题还有另一层意义：推动机器学习研究本身的自动化。机器学习研究依赖大量数学，而研究自动化又是AI开发商迈向“AI开发AI”的重要一步，这种能力通常被称为递归式自我改进。

让前沿模型挑战从未有人解决过的数学难题，也能帮助研究人员判断模型的实际进展程度以及复杂推理能力的强弱。如果模型能攻克纳维-斯托克斯问题和霍奇猜想这类级别的题目，也可能表明它们有能力处理生物学、化学等领域中同等难度的课题。

当地时间9月8日，OpenAI 宣布其内部未公开的AI模型（性能远超最新发布的GPT-6 Astra）已成功解决“纳维-斯托克斯存在性与光滑性问题”，这是克莱数学研究所于2000年提出的七个“千禧年大奖难题”之一。

相关阅读：

  • 《继Claude尝试攻克黎曼猜想后：OpenAI宣布用10000个AI智能体88小时攻克千禧年大奖难题，陶哲轩既点赞又担忧》