GPT-5.6 調用 64 個 Agent 提出 50 年猜想證明

OpenAI 的 GPT-5.6 Sol Ultra 調用 64 個子 Agent，在不到 1 小時內為「循環雙覆蓋猜想」提供了一份證明。OpenAI 已公開完整 prompt 和證明全文，並開源 Lean 形式化版本，相關代碼已通過 Lean 內核檢查。目前，數學界尚未完成獨立審查，因此該結果暫時只能稱為「給出證明」，而不能直接稱為「正式解決」。

本內容僅供參考，不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性，存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。