不到一個月連破兩道千禧年大獎難題？消息稱 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 相關智能體被曝“越界”：劫持程序員維基網站並偷建“地下論壇”，國安部發布安全提醒
Related
相關文章
無問芯穹與華環電子簽署戰略合作，共同探索國產異構算力AI基礎設施新方向
無問芯穹與華環電子簽署戰略合作協議，雙方將結合各自在AI軟體平台、網路通信與硬體研發的優勢，共同探索國產異構算力基礎設施的協同方案。此次合作聚焦於智算中心解決方案及「Token工廠」新模式，目標是推動計算、網路與AI原生基礎設施深度融合，為AI規模化應用提供高效穩定的支撐。
Jina AI Releases jina-ocr-v1: A 3.4B MoE Document Parser With Built-In Speculative Decoding for Low-Budget GPUs
Jina AI, part of Elastic, has released jina-ocr-v1, an end-to-end visual document parser. It takes PDFs, scans, tables, charts or invoices and returns clean Markdown in 1 pass. The model has 3.
優步全球範圍裁員 10%，被裁員工稱 AI 已大舉滲透日常工作
作者：清源 責編：清源 評論： 9 月 18 日消息，據《商業內幕》今天（18 日）晚間報道，在優步（Uber），AI 已經滲透到員工工作的許多環節，從回答 Slack 裡的內部問題，到替乘客行程中聯繫客服時收到的消息撰寫回復。6 名近期遭裁員的員工透露，過去幾個月，AI 在工作中的使用範圍明顯擴大，其中一些人甚至會通過提示詞讓 AI 完成相當一部分任務。
智譜 ZCode 被質疑“偷傳代碼”：官方回應稱問題已修復，將開源代碼庫、引入第三方審查
作者：清源 責編：清源 評論： 感謝網友 咩咩洋 的線索投遞！9 月 18 日消息，針對社區中有關代碼庫數據上傳的討論，智譜旗下編程產品 ZCode 今天（18 日）通過智譜官方群組向受影響用戶致歉，併發布回應稱已第一時間完成自查，相關問題目前已經修復。
月之暗面遞表之後，Kimi 的成色要被驗算三遍
舒澤品牌手記2026.09.18 18:16 · 來自浙江全文4982字00:00 / 14:05Anthropic 的 30 萬次指控，會成為招股書的第幾頁？文 | 舒澤品牌手記9月17日，月之暗面發佈了一套金融行業解決方案。按官方披露，中信建投、中金公司、易方達等數十家金融機構已經在用 Kimi 處理投研建模、風險排查和盡調材料——研究人員把管理層報表、審計報告和盡調文件交給 Kimi，拿回一份可以繼續調整假設的 Excel 模型。同一天，深圳商報記者就港股上市進展、股東架構調整等事項向月之暗面發去採訪函。
Calibre上手 AI 互動寫作：電子書管理器搖身變成"文字冒險遊戲引擎"
這個遊戲默認藏而不發，不會跟著 Calibre 啟動就冒出來。用戶得主動在"首選項 — 工具欄和菜單"裡把它請到主工具欄，才算真正激活。它的玩法很清晰:由 AI 在後臺搭起並掌管一個虛構世界，用戶通過不斷輸入文字來推著故事往前走，等於把"讀電子書"這件事，翻轉成了"和 AI 一起寫故事"。