根據 OneMillion_AI，OpenAI 的 GPT-5.6 Sol Ultra 部署了 64 個子代理，以在不到一小時內提供對「Cycle Double Cover Conjecture」（循環雙重覆蓋猜想）的正式證明——這是一個約 50 年前提出的數學問題。OpenAI 已完整發布了提示與證明，並開源了一個以 Lean 形式化的版本。該程式已由 Lean 核心完成驗證。然而，這仍然是 OpenAI 已發布的結果；數學社群尚未完成獨立同儕審查，因此該證明目前尚未被正式認定為確定的解答。
免責聲明：本頁面資訊可能來自第三方來源，僅供參考，不代表 Gate 的立場或觀點，亦不構成任何財務、投資或法律建議。虛擬資產交易具有高風險，請勿僅依賴本頁資訊作出決策。詳情請參閱
免責聲明。
