还记得此前 ，数学家指责 OpenAI 想要抢功、宣称自己攻克一道超高难度数学难题 ，由此引发争议的那件事吗？（接连不断的新闻浪潮，让人感觉那仿佛已经是很久之前的旧事。）
据一位了解该研究进展的知情人士透露 ，如今 OpenAI 距离破解另一道千禧年大奖难题仅有一步之遥 。千禧年大奖一共包含七大知名数学难题 ，前文提到的纳维‑斯托克斯方程解的存在性与光滑性问题正是其中之一 。
该知情人士称，公司内部员工预计，下一个目标 ——霍奇猜想 ，有望在较短时间内得到解答。霍奇猜想探讨：由多项式方程定义几何体 ，它的某些几何特征是否总能借助更简单的代数单元来描述 。 不过 OpenAI 可能还需要更长时间才会对外公布这一成果 。近来 公司正在琢磨该如何与数学界展开合作发布结果，避免再次上演一场公关危机。
那 OpenAI 为什么要钻研这些冷门高深的数学难题？ 要知道攻克这类问题成本不菲：当初破解纳维‑斯托克斯问题 ，就耗费了可能数百万美元。知情人士表示 ，OpenAI 当时使用代号为 “道格 ” 的下一代预训练模型变体完成了该难题的求解 。
部分 OpenAI 研究员认为，继软件工程之后 ，数学会是大模型理应去挑战的下一个核心领域 。数学与软件工程具备不少共通特质：二者都需要循序渐进的逻辑推理 ，输出的结果大多还可以自动核验对错。 一些研究员甚至判断，过去一年发生在软件工程领域的自动化浪潮 ，会在未来 6‑9 个月降临到数学领域 。
除此之外 ，攻克艰深的数学难题，也能推动 AI 从业者实现机器学习研究的自动化 ，而机器学习研究本身充斥大量数学工作 。实现这类自动化 ，正是为达成递归自我改进做铺垫 —— 也就是让人工智能有能力研发新一代人工智能。
测试前沿模型求解从未被解决的数学难题的能力，同样可以帮助科研人员衡量模型的技术进步水平，评估其复杂推理能力 。倘若模型能够搞定纳维‑斯托克斯 、霍奇猜想这类硬核难题 ，就预示着它或许也能攻克生物 、化学等其他学科同等难度的问题 。
另外 ，如果发布成果时不会引来数学家群体的强烈不满，这类重大突破 ，也能成为 OpenAI 亮眼的新里程碑 ，助力其角逐超级人工智能的赛道。
