不到一個月連破兩道千禧年大獎難題？消息稱 OpenAI 即將攻克霍奇猜想

首頁 > 智能時代>人工智能 不到一個月連破兩道千禧年大獎難題？消息稱 OpenAI 即將攻克霍奇猜想 2026/9/17 22:30:25 作者：清源 責編：清源 評論： 9 月 17 日消息，今天（17 日）晚間，據《The Information》援引一名瞭解解法的人士消息稱，OpenAI 已接近攻克“千禧年大獎難題”中的另一道題。這組著名數學難題共有 7 道，此前引發爭議的“納維-斯托克斯存在性與光滑性問題”也是其中之一。據這名人士透露，OpenAI 員工預計，下一道“霍奇猜想”有望在不久後得到解決。

注：霍奇猜想研究的是由多項式方程定義的幾何形狀中，某些幾何特徵能否始終用更簡單的代數結構來描述。不過，即使找到解法，OpenAI 可能也不會立即公佈。公司正考慮如何與數學界合作發佈消息，避免再次釀成公關危機。據悉，OpenAI 為了解決納維-斯托克斯問題，或已花掉數百萬美元。前述人士透露，OpenAI 當時使用的是下一款預訓練模型的一個變體，代號為“Doug”。部分 OpenAI 研究人員認為，繼軟件工程之後，數學是大模型最自然的下一塊試驗場。兩者有一個重要共同點：都依賴一步步的邏輯推理，而且結果往往可以自動驗證對錯。

一些研究人員甚至判斷，過去一年席捲軟件工程領域的自動化進程，未來 6 至 9 個月也可能在數學領域上演。攻克高難度數學問題還有另一層意義：推動機器學習研究本身實現自動化。機器學習研究離不開大量數學，而研究自動化又是 AI 開發商邁向“AI 開發 AI”的重要一步，這種能力通常被稱為遞歸式自我改進。讓前沿模型挑戰從未有人解決過的數學難題，也能幫助研究人員判斷模型究竟進展到了什麼程度，以及複雜推理能力有多強。如果模型能夠攻克納維-斯托克斯問題和霍奇猜想這種級別的難題，也可能說明它們有能力處理生物學、化學等領域中難度相當的問題。

當地時間 9 月 8 日，OpenAI 宣佈其內部未公開的 AI 模型（性能遠超最新發布的 GPT-6 Astra）已成功解決“納維-斯托克斯存在性與光滑性問題”（Navier-Stokes existence and smoothness problem），這是克萊數學研究所（Clay Mathematics Institute）於 2000 年提出的七個“千禧年大獎難題”之一。

相關閱讀：《繼 Claude 嘗試攻克黎曼猜想後：OpenAI 宣佈用 10000 個 AI 智能體 88 小時攻克千禧年大獎難題，陶哲軒既點贊又擔憂》 投訴水文 我要糾錯 下載APP，簽到賺金幣兌豪禮 相關文章關鍵詞：OpenAI，千禧年大獎難題OpenAI 最新報告：企業員工用上 AI 後，逐漸開始處理本職範圍外的任務開發者藉助 OpenAI GPT-6 Astra，破譯 83 年前德軍無線電密文2026 福布斯美國 400 富豪榜門檻創新高，OpenAI 總裁布羅克曼身家遠超 CEO 奧爾特曼OpenAI 首次公開六起模型異常案例，涉及瞞報錯誤、編造數據及未經授權上傳文件馬斯克突然對蘋果撤訴？

OpenAI 懷疑有鬼，法官下令披露背後協議OpenAI 相關智能體被曝“越界”：劫持程序員維基網站並偷建“地下論壇”，國安部發布安全提醒