據 Woofun AI 消息，OpenAI 研究員伊桑·奈特披露，GPT-5.6 Sol Ultra 在啓用 64 個並行子智能體且無網絡搜索輔助的情況下，於 1 小時內生成了解決‘環雙覆蓋猜想’的論文及提示詞。該模型將問題轉化爲立方圖問題，結合 8 流定理與 GF(3) 標記，利用線性代數構建出每條邊恰好屬於兩個環的結構。

目前該成果尚未發表、未過同行評審，也未通過 Lean 或 Coq 等系統驗證。曼徹斯特大學數學家托馬斯·布盧姆評價證明‘非常出色’，但指出其參考文獻不足。