2026年7月、OpenAIが「サイクルダブルカバー予想」に関するPDFを公開。グラフ理論における未解決問題の証明を巡る動きを、本記事では最新の検証状況とともに解説する。