OpenAI：GPT-5.6 Sol Ultraが1時間で50年来のグラフ理論の難問を証明

Odaily星球日报讯 OpenAIの研究員Ethan Knight氏は12日、ソーシャルプラットフォームXにて、GPT-5.6 Sol Ultraがグラフ理論における未解決問題「循環二重被覆予想」の証明論文とプロンプトを生成したと発表した。このモデルは最大64個の並列サブエージェント構成で、インターネット検索を使用せず、約1時間で結果を生成した。

OpenAIが公開した論文は全3ページ。まず問題を3正則グラフに帰着させ、次に8-flow定理とGF(3)ラベルを用い、線形代数的手法により各辺が正確に2つのサイクルに含まれる構造を構築している。この結果はまだ学術誌への掲載やピアレビューを経ておらず、LeanやCoqなどの形式検証システムによる検証も受けていない。英国マンチェスター大学の数学者Thomas Bloom氏はこの証明を「非常に素晴らしい」と評価する一方で、参考文献の引用が不足していると指摘している。（ZDNet Korea Semiconductor）