據 Woofun AI 消息，OpenAI 披露 GPT-5.6 Sol Ultra 利用 64 個子智能體協作，在不足 1 小時內完成了針對約 50 年前提出的"循環雙重覆蓋猜想"的證明工作。OpenAI 已公開相關提示詞、證明文本及通過 Lean 內核驗證的形式化代碼。由於數學界尚未完成獨立審查，該成果目前僅被視爲證明已被提出，尚不能宣稱問題已獲形式化解決。