继此前在纳维-斯托克斯存在性与光滑性问题上引发争议后，OpenAI又被曝出正在逼近另一道千禧年大奖难题。9月17日晚间，《The Information》援引一名了解解法的人士称，OpenAI已接近攻克霍奇猜想，员工预计该问题有望在不久后得到解决。千禧年大奖难题共有七道，霍奇猜想是其中之一。

霍奇猜想关注的是，由多项式方程定义的几何形状中，某些几何特征能否始终用更简单的代数结构来描述。即便解法已经找到，OpenAI可能也不会立即公布。消息人士透露，公司正在权衡如何与数学界合作发布这一成果，以避免再次酿成公关危机。此前，OpenAI在纳维-斯托克斯问题上的处理方式曾引发外界质疑。

据前述人士称，OpenAI为解决纳维-斯托克斯问题，或已投入数百万美元。当时使用的是下一款预训练模型的一个变体，代号为“Doug”。部分OpenAI研究人员认为，继软件工程之后，数学是大模型最自然的下一块试验场。两者都依赖一步步的逻辑推理，且结果往往可以自动验证对错。一些研究人员甚至判断，过去一年席卷软件工程领域的自动化进程，未来6至9个月也可能在数学领域上演。

攻克高难度数学问题还有另一层意义：推动机器学习研究本身实现自动化。机器学习研究离不开大量数学，而研究自动化又是AI开发商迈向“AI开发AI”的重要一步，这种能力通常被称为递归式自我改进。让前沿模型挑战从未被解决的数学难题，正成为OpenAI探索这一方向的具体路径。