近日，据“The Information”报道，OpenAI内部员工预计公司很快可能在另一个“千禧年大奖难题”上取得突破，目标据称是著名数学难题霍奇猜想（Hodge Conjecture）。不过目前OpenAI并未公开确认这一消息。

OpenAI

霍奇猜想是克雷数学研究所设立的7个“千禧年大奖难题”之一，核心问题涉及代数方程解集的拓扑特征，以及这些特征能否通过更低维的代数几何对象来描述。克雷数学研究所目前仍将其列为未解决问题，并为每个千禧年难题设置100万美元奖金。

据CNMO科技了解，OpenAI之所以再次被外界关注，与此前的纳维-斯托克斯问题有关。9月8日，OpenAI公开了一份关于纳维-斯托克斯存在性与光滑性问题的解答，并表示这项工作由内部AI系统完成，同时给出了Lean形式化证明此。OpenAI称，此次成果主要用于展示其AI模型能力，并无意申请千禧年大奖。

相关报道

不过，这一成果随后引发数学界争议。有数学家质疑OpenAI公布成果的时机、研究合作方式以及是否存在接触其他研究人员已有研究成果的可能，纽约大学数学家特里斯坦·巴克马斯特指出，他与Anthropic研究员莱文特·阿尔珀格早在8月22日就已完成相关证明，并怀疑OpenAI的模型“偷看”了他放在OpenAI代码工具中的未发表草稿。

就在这一背景下，The Information报道称，OpenAI员工预计公司正在接近第二个千禧年大奖难题。不过，随后公开的另一则消息显示，OpenAI仅向《纽约时报》确认，其在另一个千禧年大奖难题上取得了“重大进展”，但没有说明具体是哪一道题，因此霍奇猜想目前仍不能视为官方确认。

The Information还报道称，OpenAI工程师将数学推理视为AI能力进一步提升的重要方向，并认为解决高难度数学问题可能与递归自我改进（RSI）有关。