近日，根據《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）有關。
