GPT-5.6調64個Agent，一小時給出50年猜想證明

据動察 Beating 監測，OpenAI 表示，GPT-5.6 Sol Ultra 呼叫 64 個子 Agent，不到 1 小時，為提出約 50 年的「循環雙覆蓋猜想」提供了一份證明。

OpenAI 已公開完整 prompt 和證明全文，並開源 Lean 形式化版本。相關程式碼已通過 Lean 核心檢查。然而，這仍然是 OpenAI 發布的結果。數學界尚未完成獨立審查，因此暫時只能說「給出證明」，不能直接說「正式解決」。