OpenAI有望攻克另一项千禧年大奖数学难题

本月早些时候，数学家曾指责OpenAI试图抢先夺取一项超高难度数学难题的成果，使这家公司陷入舆论争议。据知情人士透露，实际情况是，OpenAI距离攻克千禧年大奖难题中的另一道数学难题已经非常接近。千禧年大奖难题共有七道著名数学挑战，此前引发争议的纳维–斯托克斯方程存在性与光滑性问题就是其中之一。

该消息人士称，公司内部员工预计，下一个目标——霍奇猜想，有望在较短时间内得到证明。霍奇猜想所研究的问题是：当几何体由多项式方程定义时，其特定几何特征是否总能通过更简单的代数组件来描述。不过，OpenAI可能还需要更长时间才会对外公布证明结果。原因是公司正在研究如何与数学界合作，以合适的方式发布成果，避免再次引发公关危机。

OpenAI为何会对这些冷门且艰深的数学难题产生兴趣？毕竟攻克这类问题成本不低：此前证明纳维–斯托克斯方程相关结论，耗费的成本很可能高达数百万美元。该消息人士表示，OpenAI当时使用了下一代预训练模型的一个变体（代号“道格”）完成了这项证明。

部分OpenAI研究员认为，在软件工程之后，数学是大模型顺理成章要攻克的下一个领域。两个领域具有相似特征：都需要分步逻辑推理，所得结果大多可以自动核验正误。一些研究员甚至判断，过去一年软件工程领域发生的自动化变革，将在未来6至9个月内在数学领域重演。

除此之外，攻克高难度数学难题，也有助于AI研发人员推进机器学习研究的自动化——机器学习本身就涉及大量数学。这类自动化，是他们迈向递归自改进（AI自主研发新AI）目标的重要一环。

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

另外，只要发布成果时不会引发数学家群体的强烈不满，这类突破也能为OpenAI打造亮眼的新里程碑，在通用超级人工智能的竞赛中作为宣传筹码，这一点自然也对公司有利。