据《The Information》消息，OpenAI已接近攻克千禧年大奖难题之一的霍奇猜想，员工预计其不久后有望得到解决，但公司正考虑与数学界合作发布，以免重演纳维-斯托克斯问题引发的公关危机。
为解决纳维-斯托克斯问题，OpenAI据称已花费数百万美元，使用的是下一款预训练模型变体，代号“Doug”，该模型性能远超最新发布的GPT-6 Astra。
部分研究人员认为，数学是大模型继软件工程之后最自然的下一块试验场，两者都依赖逐步逻辑推理且结果可自动验证，过去一年席卷软件工程的自动化进程或在未来6至9个月于数学领域重演。
攻克高难度数学问题还有助于推动机器学习研究自动化，这是迈向“AI开发AI”即递归式自我改进的重要一步，也能检验前沿模型的复杂推理能力。