廣場
最新
熱門
新聞
我的主頁
發布
GPT-5.6 調 64 個 Agent，一小時給出 50 年猜想證明
区块律动
2026-07-11 01:31:38
關注
摘要生成中
據動察 Beating 監測，OpenAI 表示，GPT-5.6 Sol Ultra 呼叫 64 個子 Agent，用不到 1 小時，便為提出約 50 年的「循環雙重覆蓋猜想」給出一份證明。
OpenAI 已公開完整 prompt 以及證明全文，並開源 Lean 形式化版本。相關程式碼已通過 Lean 核心檢查。不過，這仍是 OpenAI 發布的結果。數學界尚未完成獨立審查，因此暫時只能說「給出證明」，不能直接說「正式解決」。
查看原文
此頁面可能包含第三方內容，僅供參考（非陳述或保證），不應被視為 Gate 認可其觀點表述，也不得被視為財務或專業建議。詳見
聲明
。
打賞
按讚
回覆
轉發
分享
回覆
請輸入回覆內容
請輸入回覆內容
回覆
暫無回覆
熱門話題
查看更多
#
預測世界盃挪威VS英格蘭
31.79萬 熱度
#
GateUS合規擴展佛羅里達
431.71萬 熱度
#
美股AI概念股普漲
245萬 熱度
#
美伊戰爭陰雲再起
399.56萬 熱度
#
GUSD年化升至3.8%
86.24萬 熱度
已置頂
網站地圖
GPT-5.6 調 64 個 Agent，一小時給出 50 年猜想證明
OpenAI 已公開完整 prompt 以及證明全文，並開源 Lean 形式化版本。相關程式碼已通過 Lean 核心檢查。不過，這仍是 OpenAI 發布的結果。數學界尚未完成獨立審查，因此暫時只能說「給出證明」，不能直接說「正式解決」。