研究
★★★★★
■中立2026-07-11OpenAIのGPT-5.6 Sol Ultra、「サイクル二重被覆予想」の証明を主張
OpenAI公式CDN上に、モデル「GPT-5.6 Sol Ultra」が数学の未解決問題「Cycle Double Cover Conjecture（サイクル二重被覆予想）」の証明を生成したとするPDFが公開され、Hacker Newsで大きな議論（Score 181）を呼んでいる。
OpenAI公式CDN上に、モデル「GPT-5.6 Sol Ultra」が数学の未解決問題「Cycle Double Cover Conjecture（サイクル二重被覆予想）」の証明を生成したとするPDFが公開され、Hacker Newsで大きな議論（Score 181）を呼んでいる。
対象は数学研究者、およびAI研究コミュニティである。AIモデルが未解決の数学予想の証明を提出したと主張している。
証明の正しさについて第三者・専門家による査読はまだ確認できていない。
▲ 事実 (Fact)
- OpenAI公式CDN上にGPT-5.6 Sol Ultraによる数学予想の証明とするPDFが公開
- 対象は「Cycle Double Cover Conjecture」という未解決問題
- Hacker NewsでScore 181の議論
- 第三者・専門家の査読は未確認
◆ 意見・解釈（AIによる）
- 証明が本物であれば数学分野でのAIの貢献として画期的だが、査読前の段階であり慎重な受け止めが必要
⌖ 一次情報（必ず原典をご確認ください）