投稿者 投稿日: カテゴリー AIニュース
GPT-5.6 Sol Ultraが、50年未解決の数学予想を約1時間で証明しました。
The Decoderが2026年7月11日に報じたところによると、OpenAIの最上位モデルGPT-5.6 Sol Ultraは、グラフ理論の未解決問題「サイクル二重被覆予想」の完全な証明を、64個のサブエージェントの並列稼働により1時間弱で生成しました。数学者トーマス・ブルームは証明の質を高く評価する一方、先行研究への引用が欠けている点を批判しています。本記事は、EC支援19年・5,000社超の実績を持ち、AI導入支援は2023年から提供する株式会社オルセル（うるチカラ運営）が解説します。
何が起きたか：64エージェント並列で1時間弱の証明生成
結論から言うと、OpenAIはGPT-5.6 Sol Ultraがサイクル二重被覆予想の完全な証明を生成したと発表し、証明論文のPDFと使用したプロンプトの全文PDFを公開しました。
サイクル二重被覆予想とは、頂点と辺からなる任意のネットワークにおいて、すべての辺をちょうど2回ずつ通るサイクル（閉路）の集合が必ず見つかるか、というグラフ理論の基本問題のことです。1970年代に複数の数学者が独立に定式化して以来、特殊なケースの部分的解決は多数ありましたが、一般に通用する証明は約50年間存在しませんでした。
OpenAIによると、証明はGPT-5.6 Sol Ultraが64個のサブエージェントを並列に走らせて生成し、所要時間は1時間弱でした。論文の執筆自体は下位モデルのGPT-5.6 Solが担当しています。GPT-5.6ファミリーの位置づけについては、公開当日の状況を整理したGPT-5.6一般公開の記事もあわせてご覧ください。
なぜ重要か：数学者は「1980年代でも発見できた証明」と評価
重要なのは、この証明が新しい数学理論を必要としない「短くて初等的」なものだった、と専門家が評価している点です。マンチェスター大学の数学者トーマス・ブルームはXの連続投稿で、この証明を「very nice proof（非常に見事な証明）」と評しつつ、既知の道具を巧妙に組み合わせたものであり、理論的には1980年代にも発見可能だったと分析しました。
では、なぜ人間は50年間見つけられなかったのでしょうか。ブルームの見立てでは、鍵となるステップに直感に反する小さなひねりがあり、人間の数学者は自然なアプローチが失敗した時点で「やはり無理か」と諦めてしまいがちだった一方、AIは失敗しても小さなバリエーションを延々と試し続けたことが決め手になりました。
一方でブルームは、証明の中核となるアイデアが少なくとも1983年のBermond・Jackson・Jaegerによる論文にさかのぼると指摘し、OpenAIの論文がこの先行研究に一切言及していないことを問題視しています。AI生成の証明や論文が、文献から得たアイデアや証明戦略を適切な引用なしに使うのは頻発している問題だ、というのがブルームの批判です。AIがゼロから戦略を発明したのか、既存知識の再結合なのかという論点について、ブルームは後者に近い見方を示しています。なお、数学コミュニティ全体による完全な検証はまだ完了しておらず、現時点で最も詳細な公開評価はブルームのものです（最終的な検証結果は要確認）。
今後の動き：勝負を決めたのは「諦めさせないプロンプト設計」
今後の焦点は、同種の未解決問題がどこまでAIで解けるのか、そしてその成果をどう検証するかに移ります。ブルームは「既存の十分に発達した理論と、大量の忍耐と信念だけで解ける未解決問題」は今後もAIが解いていくと予想しつつ、それは未解決問題全体のごく一部であり、どれが該当するかは事前に分からないと釘を刺しています。大手AI企業が多数の未解決問題を同時に攻撃し、成功例だけを報告する時代に入ったことにも注意が必要です。
技術的に注目すべきは、公開されたプロンプトの設計です。プロンプトはまず「完全な証明が存在すると仮定せよ」と指示してモデルの最も正直な回答（この予想は未解決である）を封じ、インターネット検索と「未解決」という回答を禁止しました。部分的な結果や他の未証明予想への還元、研究状況の要約はすべて不十分として却下され、敵対的なテストを通過した完全な証明が完成するまでモデルは回答できません。64エージェントの大半には現在最有力のアプローチを意図的に知らせず、独立した思考を促しました。さらに「最低8時間は計算してから諦めることを検討せよ」と指示されたモデルは、実際には1時間で証明を完成させています。
この設計思想は、ECの現場でAIエージェントを使う事業者にも示唆があります。成果物の質はモデルの性能だけでなく、途中で妥協させない制約、独立した並列試行、敵対的な検証という「仕事のさせ方」で大きく変わるからです。GPT-5.6 Solの実務活用はEC業務自動化の記事で、フラッグシップ間の性能比較はSolとFable 5のベンチマーク記事で詳しく解説しています。
まとめ
GPT-5.6 Sol Ultraは50年未解決のサイクル二重被覆予想を64エージェント並列・約1時間で証明し、専門家も証明の質を認めました。ただし先行研究の無引用や、コミュニティ検証が未完了である点など、成果の評価にはまだ留保が付きます。AIの数学的成果は「何を解いたか」と同時に「どう解かせ、どう検証したか」まで見て判断する段階に入りました。
参考文献
- The Decoder – OpenAI’s GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour
- OpenAI – Cycle Double Cover Conjecture 証明論文PDF
- OpenAI – 使用プロンプト全文PDF
- Thomas Bloom – X（旧Twitter）での評価スレッド
※うるチカラでは、生成AIの導入支援から運用最適化まで、貴社のEC事業に合わせたカスタマイズ提案を行っています。無料相談（30分）も実施中ですので、お気軽にお問い合わせください。
https://uruchikara.jp/contact/
引用元: The Decoder
【監修】齋藤竹紘（株式会社オルセル代表 / 19年・5,000社のEC支援実績）
株式会社オルセル代表取締役 / うるチカラ編集長。19年・5,000社以上のEC支援実績を持ち、楽天市場・Amazon・Yahoo!ショッピング・Shopify・Shopee越境ECの実装ノウハウを保有。AI×ECに関する書籍を3冊執筆。「現場で使えるAI実装」を一次情報として発信しています。
この記事を読んだ人は、こんな記事も読んでいます
