Svmuuニュース：OpenAIの研究員イーサン・ナイト氏は12日、ソーシャルプラットフォーム「X」で、GPT-5.6 Sol Ultraが、グラフ理論における代表的な未解決問題である「循環二重被覆予想」に関する証明論文とプロンプトを生成したと述べた。同モデルは、最大64個の並列サブエージェント構成の下で、インターネット検索を利用することなく、約1時間で結果の生成を完了した。
OpenAIが公開した論文は計3ページで、まず問題を3次正則グラフに帰着させ、次に8-flow定理とGF(3)ラベルを用い、線形代数的手法によって各辺がちょうど2つのサイクルに含まれるような構造を構築している。この結果は、まだ学術誌での発表やピアレビューを経ておらず、LeanやCoqなどの形式検証システムによる検証も受けていない。英国マンチェスター大学の数学者トーマス・ブルーム氏は、この証明を「非常に優れている」と評価しつつも、参考文献の引用が不十分であると指摘した。（ZDNet Korea Semiconductor）。