近日，根据《The Information》的报道，OpenAI 内部员工预计该公司即将在另一个“千禧年大奖难题”上取得突破，目标据称是著名的数学难题霍奇猜想（Hodge Conjecture）。不过，目前 OpenAI 尚未公开确认这一消息。
霍奇猜想是克雷数学研究所设立的七个“千禧年大奖难题”之一，核心问题涉及代数方程解集的拓扑特征，以及这些特征是否能通过更低维的代数几何对象来描述。克雷数学研究所目前仍将其列为未解决问题，并为每个千禧年难题设置 100 万美元的奖金。
OpenAI 正在接近解决霍奇猜想
根据 CNMO 科技的瞭解，OpenAI 再次受到外界关注，与此前的纳维-斯托克斯问题有关。9 月 8 日，OpenAI 公开了一份关于纳维-斯托克斯存在性与光滑性问题的解答，并表示这项工作由内部 AI 系统完成，同时提供了 Lean 形式化证明。OpenAI 表示，此次成果主要用于展示其 AI 模型的能力，并无意申请千禧年大奖。
然而，这一成果随后引发了数学界的争议。有数学家质疑 OpenAI 公布成果的时机、研究合作方式，以及是否存在接触其他研究人员已有研究成果的可能性。纽约大学数学家特里斯坦·巴克马斯特指出，他与 Anthropic 研究员莱文特·阿勒珀早在 8 月 22 日就已完成相关证明，并怀疑 OpenAI 的模型“偷看”了他放在 OpenAI 代码工具中的未发表草稿。
在这一背景下，《The Information》报道称 OpenAI 员工预计公司正在接近第二个千禧年大奖难题。不过，随后公开的另一则消息显示，OpenAI 仅向《纽约时报》确认其在另一个千禧年大奖难题上取得了“重大进展”，但没有说明具体是哪一道题目，因此霍奇猜想目前仍不能视为官方确认。
《The Information》还报道称，OpenAI 工程师将数学推理视为 AI 能力进一步提升的重要方向，并认为解决高难度数学问题可能与递归自我改进（RSI）有关。