GPT-5.6和Fable聯手，解決了一道懸了25年的數學難題
GPT-5.6與Fable近期聯手，成功破解了一道困擾數學界長達25年的難題。消息一出，立刻在學術與AI社群引發廣泛討論。這項成果不僅彰顯了人工智慧在基礎科學領域的潛力，也為後續複雜數學問題的求解開闢了新的方向。據相關報導，GPT-5.6是做為最新一代大型語文模型，在邏輯推理與符號運算上展現出顯著進步。而Fable則是一家專注於AI驅動科學究研的團隊，雙方合作將模型的能力對準了這道長期未解的數學猜想。雖然具體解題細結尚未完整公佈，但初步結果已獲得數數學驗證，確認了正確性。數學界指出，這道難題最初在25年前被提出，多年來吸引了大量研究者付諸努力，卻始終未能找到突破性進展。
一些學者企圖使用傳統計算方法或啟發式算法，都因問題本身的高維度與非線性特質而失敗。GPT-5.6與Fable的組合，則透過大規模的啟發式搜索與模式識別，從數億種可能路徑中篩選出關鍵證明步驟。值得注意的是，GPT-5.6在另一次測試中也展現了驚人的效率。據了解，該模型僅用5美元的成本即成功復刻了一款遊戲，對比之下，另一知名模型Claude曾因高昂的運算開銷讓大型企業卻步——有消息指出，其單次任務成本高達180萬美元，連亞馬遜都坦言難以持續負担。這項對比突顯了GPT-5.6在資源利用上的優勢，也說明其架構更適合大規模、高重複性的科學計算。Fable團隊則在合作中扮演了關鍵角色。
他們不僅提供領域專業知識，協助定義問題的數學形式，還設計了專用的驗證機制，確保AI生成的每一個推論步驟都能被嚴謹地回溯檢查。團隊成員在受訪時表示，這次成功並非偶然，而是長期以來不斷迭代演算法的結果。業界分析人士認為，人工智慧在數學領域的應用正從輔助工具邁向主動研究者。GPT-5.6與Fable的案例證明，只要模型具備足夠的推論深度與搜索廣度，就有機會攻克人類因直覺限制而難以觸及的盲點。這對密碼學、優化理論、甚至是物理學中的模型建構都有潛在影響。與此同時，另一則相關訊息顯示，Opus 5模型在遊戲領域表現出極大的算力消耗，曾在一次遊戲生成任務中燃燒了6.
9億個token，凸顯了當前頂尖模型在創造性任務上的資源密集特性。而GPT-5.6以極低資源完成類似任務，顯示其架構可能經過了大幅度的效率提升，這樣的特性也使其更適合應用於資源有限的學術場景。回顧GPT-5.6的開發歷程，該模型從初期便強調「精準度與效率並重」。在標準測試中，它的數學推理得分已超過前代模型，且在各類運算場景下的token使用量顯著下降。Fable團隊在合作初期便注意到了這種特性，認為具備高效推理能力的模型更適合破解需要多步驗證的數學命題。至於這道難題的具體名稱與詳細解法，目前尚未公開發表。學術界預計相關論文將在不久的將來於頂尖期刊或預印本平台露面。
不少數數學家已經表達了對詳細證明過程的高度期待，希望能從中學習新的證明技巧。整體來看，GPT-5.6與Fable的這次合作，不僅是技術上的重大突破，也為AI在科學研究中的定位提供了新思考：當模型能夠自主提出假設並驗證，科學家的角色可能從「發現者」轉變為「判斷者」與「引導者」。這道懸了25年的數學難題，或許只是AI改變研究模式的開端。未來，更多長期未解的問題都有可能藉由AI的力量迎刃而解。
Related
相關文章
王興興“錯配”梁文鋒？
王興興“錯配”梁文鋒？字母榜2026.08.24 17:44 · 來自河北全文4818字00:00 / 13:21關於世界模型，宇樹和DeepSeek理念分歧明顯。文 | 字母榜宇樹科技的股價還在持續下跌。市值從上市首日的4449億元高點，跌至2400億元，截至8月24日收盤，市值較最高點蒸發了2000億元。然而比股價更值得關注的是，宇樹接下來要怎麼走。8月20日，也就是宇樹上市第二天，王興興出現在北京世界機器人大會論壇。十多分鐘的分享裡，AI成為了高頻詞彙。他談到AI實時生成、實時識別，也談到AI模型投入，更透露了宇樹正在預研的一件事：讓物理AI機器人實現“自進化”。王興興講的每一件事，最後都指向一個關鍵要素：AI大模型。特別是最後一點，王興興說，要實現“物理AI自進化”，要用目前最前沿、最頂尖的AI大模型來驅動。而這恰恰是宇樹目前不太擅長的部分。不過，宇樹找到了DeepSeek。今年8月，兩家公司已經達成合作，圍繞AI大模型與具身智能相關技術展開合作。說到具身智能公司和AI大模型公司的合作，就不得不提當年Figure AI和OpenAI的合作。2024年，OpenAI在投資Figure AI後，雙方簽署了三年合作協議，合作開發人形機器人AI模型。但是僅一年後，FigureAI終止合作，轉向自研。於是問題來了：王興興和梁文鋒，會不會重走Figure AI和OpenAI的老路？01為什麼宇樹需要DeepSeek？對於宇樹來說，過去幾年，模型研發已經有了一些積累，但顯然投入不足，進展緩慢，所以找到一個頂尖的AI大模型公司合作，是一個比較自然的選擇。先來看宇樹目前的模型研發進展。當前，具身智能大模型沒有一個統一的技術路線，但VLA和世界模型，是行業重點探索的兩個方向。行業甚至也在探索兩者融合的技術路線。宇樹也在摸索，採取了“兩條腿走路”的策略，並行研發兩種模型。所謂VLA（視覺
阿里視頻大模型Wan3.0正式上線，行業評價“穩定、真實、有質感”
阿里巴巴影片生成大模型Wan3.0正式上線，單次可生成30秒影片，並首次支援doc、xls、ppt、pdf、md等文檔輸入。企業用戶普遍評價其「穩定、真實、有質感」，能穩定保持角色與場景一致性，並已進入短劇、影視、廣告等生產流程。即日起可於阿里雲百鍊、千問等平台體驗，標準版並推出限時7折優惠。
月之暗面第一代萬億參數多模態模型 Kimi K2.5 官宣月底結束服役
作者：歸瀧 責編：歸瀧 評論： 8 月 24 日消息，月之暗面 Kimi 官方微博今日宣佈，其第一代萬億參數多模態模型 —— Kimi K2.5 本月底即將結束服役。據此前報道，今年 1 月，月之暗面宣佈推出並開源了其最新的 Kimi K2.
消息稱知名 AI 研究員 Luke Metz 離開 OpenAI，加入 Meta 超級智能實驗室
作者：遠洋 責編：遠洋 評論： 感謝網友 華南吳彥祖 的線索投遞！8 月 24 日消息，據知情人士向 Axios 證實，知名 AI 研究員 Luke Metz 已加入 Meta 的超級智能實驗室（Superintelligence Labs）。
Anthropic 最強大模型 Fable 5 遇冷，企業用戶轉向更便宜 AI 產品
作者：遠洋 責編：遠洋 評論： 8 月 24 日消息，據英國《金融時報》報道，Anthropic 的美國客戶正在使用更便宜的替代品來替代其最強大的 AI 工具，這在其預計將實現有史以來規模最大的 IPO 之前，對其高支出的商業模式提出了質疑。
阿里雲視頻生成模型 Wan3.0 正式上線，支持單次生成 30 秒視頻、文檔輸入
作者：遠洋 責編：遠洋 評論： 8 月 24 日消息，阿里雲消息，今天，視頻生成模型 Wan3.0 正式上線。官方稱，Wan3.0 在生成時長、萬能創作、全能參考以及真實世界還原等維度全面升級，單次可生成 30 秒視頻，並首次支持 doc、xls、ppt、pdf、md 等文檔格式輸入，力求準確還原真實世界。