2026-07-11 01:29:22
OpenAI 的 GPT-5.6 使用 64 個代理(Agents)在一小時內證明 50 年數學猜想
根據 OneMillionAI,OpenAI 的 GPT-5.6 Sol Ultra 部署了 64 個子代理,以在不到一小時內提供對「Cycle Double Cover Conjecture」(循環雙重覆蓋猜想)的正式證明——這是一個約 50 年前提出的數學問題。OpenAI 已完整發布了提示與證明,並開源了一個以 Lean 形式化的版本。該程式已由 Lean 核心完成驗證。然而,這仍然是 OpenAI 已發布的結果;數學社群尚未完成獨立同儕審查,因此該證明目前尚未被正式認定為確定的解答。