- OpenAIのAI「GPT-5.6 Sol Ultra」が、50年解けなかった数学の難問を1時間未満で証明したと発表しました
- 証明は「64並列サブエージェント」という多数のAIを同時に動かす仕組みで生まれました
- 専門家からは「見事な証明」と称賛される一方、「過去の研究に触れていない」との批判も出ています
- まだ数学者による正式な検証は終わっておらず、「証明できたと主張している段階」です
- ライバルのGoogle DeepMindは、機械が全ステップを検証する別方式で成果を上げています
「AIは計算は得意でも、新しい発見はできない」。そう思ったことはありませんか？2026年7月、その常識をゆさぶるニュースが飛び込んできました。50年間だれも解けなかった数学の難問を、AIがたった1時間で証明したというのです。本当にAIは人間を超えたのか。この記事で、事実と注意点をやさしく整理します。
GPT-5.6 Sol Ultraが「50年の難問」を証明
ニュースの主役は、OpenAI（オープンエーアイ）の新しいAI「GPT-5.6 Sol Ultra」です。
OpenAIは2026年7月10日、あるPDF文書を自社のサーバーに公開しました。
その中身は、数学の世界で50年ものあいだ未解決だった「サイクル二重被覆予想（Cycle Double Cover Conjecture）」の証明です。
おどろくべきは、その証明の「著者」です。人間の研究者ではなく、AIそのものが著者として記されていました。
しかも、かかった時間は1時間未満。人間の数学者なら何年もかかるような問題です。
この発表は、海外メディアやHacker News（技術者が集まる掲示板）で一気に話題になりました。
サイクル二重被覆予想ってどんな問題？
むずかしそうな名前ですが、考え方はシンプルです。
まず「グラフ」を思いうかべてください。ここでいうグラフは、点（駅）と線（線路）でできた図のことです。
この予想は、こう主張します。「橋のない（どの線路も孤立していない）グラフなら、いくつかの輪っか（サイクル）を選ぶことで、すべての線路をちょうど2回ずつ通れる」。
この問題は、1973年にジョージ・セケレシュ氏、1979年にポール・シーモア氏が、それぞれ別々に提示しました。
以来、世界中の数学者が挑みましたが、だれも完全には証明できませんでした。50年越しの宿題だったのです。
ちなみに、これはただのパズルではありません。ネットワークの設計や配線の効率化など、現実の技術にもつながる大切なテーマです。
どうやって1時間で解いたのか
カギは「64並列サブエージェント」という仕組みです。
サブエージェントとは、1つの大きな問題を分担して考える「小さなAIたち」のことです。
今回は、その小さなAIを64個も同時に走らせました。大勢のスタッフが手分けして、別々の解き方を一斉に試すイメージです。
さらに、あえて「反対役のAI」も参加させました。出てきた答えに「本当に正しいの？」とツッコミを入れる係です。
OpenAIは最初、8時間ほどかかると見こんでいました。ところが実際は1時間未満で答えにたどり着いたといいます。
この「大量のAIを並べて競わせる」やり方が、スピードの秘密でした。
専門家は「すごい」と「待った」の両方
この成果に、数学者たちの反応は分かれています。
イギリス・マンチェスター大学の数学者トーマス・ブルーム氏は、証明を「とても見事な証明だ」と高く評価しました。
「短くて初等的で、1980年代に見つかっていてもおかしくない内容」とも述べています。
一方で、ブルーム氏は厳しい指摘もしました。
証明の土台となる考え方は、1983年のベルモン氏らの論文にさかのぼるのに、OpenAIの文書は過去の研究にまったく触れていないというのです。
さらに大きな問題があります。この証明は、まだ正式な検証を受けていません。
学術誌に採用されたわけでも、他の研究チームが確かめたわけでもないのです。あくまで「会社のサーバーに置かれたPDF」の段階です。
過去にも、この予想には「証明できた」という主張が何度も現れ、あとから穴が見つかってきました。だからこそ、専門家は慎重です。
「AIが解いた」のか、「AIに指示を出した人間が実質的に解いた」のか、という議論もあります。今の正しい言い方は「証明したと主張している」段階、というわけです。
ライバルのAI数学システムとの違い
実は、AIに数学を解かせる競争は、すでに激しくなっています。
代表的なライバルが、Google DeepMind（グーグル・ディープマインド）の「AlphaProof Nexus（アルファプルーフ・ネクサス）」です。
2026年5月、このシステムは未解決の「エルデシュ問題」を9つ解き、44個の予想を証明したと発表しました。
では、OpenAIのやり方と何がちがうのでしょうか。ポイントは「検証のしかた」です。
- OpenAI(GPT-5.6)：AIが人間の言葉（自然言語）で証明を書く。読みやすいが、正しさの確認は人間まかせ。
- DeepMind(AlphaProof)：「Lean（リーン）」という専用ソフトで、機械が1ステップずつ論理を自動チェックする。まちがいが混ざりにくい。
つまりDeepMindは「機械が保証する厳密さ」を、OpenAIは「人間が読める形とスピード」を重視した、と言えます。
どちらが優れているかは、まだ決着していません。ただ、AIが本格的に数学研究へ入りこんできたことは、まちがいなさそうです。
日本の研究者や企業にどう関係する？
「海外のAIの話でしょ？」と感じるかもしれません。でも、日本にも大きく関わってきます。
まず、日本の大学や研究機関にとって、AIは強力な「共同研究者」になり得ます。
たとえば、ある大学の数学研究室を想像してみてください。人手が足りず、検証に時間がかかる計算を、AIが下働きとして一気に進めてくれる。そんな使い方が現実味を帯びます。
企業のR&D（研究開発）部門でも同じです。新素材の設計や物流ルートの最適化など、数学が絡む課題は山ほどあります。
こうした難問を安く速く試せるようになれば、日本のものづくりや金融、通信の競争力にも影響します。
一方で、注意も必要です。AIの「証明できました」をうのみにすると、あとで誤りが見つかって大きな損失になりかねません。
日本の現場では、AIの答えを人間が必ず検証する体制づくりが、これまで以上に大切になります。
よくある質問（FAQ）
Q. 本当にAIが1人で証明したのですか？
A. OpenAIはそう主張していますが、まだ確定していません。人間の出した指示がどれだけ効いたか、という議論も続いています。
Q. この証明は正しいと確認されたのですか？
A. いいえ。数学者による正式な検証はこれからです。現時点では「主張されている証明」という位置づけです。
Q. サイクル二重被覆予想が解けると何が便利になりますか？
A. ネットワークや配線の効率化など、線でつながった仕組みの設計に役立つ可能性があります。ただし応用はこれからの分野です。
Q. GPT-5.6 Sol Ultraは日本でも使えますか？
A. 「Sol Ultra」は高度な処理を行う特別なモードとされ、一般公開の状況は今後の発表待ちです。日本語での利用可否も続報を確認する必要があります。
Q. DeepMindとOpenAI、どちらのAIが賢いのですか？
A. 目的がちがうため単純比較はできません。DeepMindは厳密な自動検証、OpenAIは速さと読みやすさに強みがあります。
まとめ
今回のニュースを、要点で振り返ります。
- OpenAIのGPT-5.6 Sol Ultraが、50年未解決の「サイクル二重被覆予想」を1時間未満で証明したと発表
- 64並列サブエージェントと反対役のAIを組み合わせた仕組みがカギ
- 専門家は「見事」と評価しつつ、「過去の研究を引用していない」と批判
- 正式な検証はこれからで、今は「主張されている証明」の段階
- DeepMindは機械が自動検証する別方式で先行、AI数学競争が加速中
まずは続報を追いながら、AIの成果を「うのみにせず、確かめる」姿勢を持つことが、これからの正しい付き合い方です。
参考文献
- the decoder – OpenAI’s GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour
- Crypto Briefing – OpenAI’s GPT-5.6 Sol Ultra proves 50-year-old math conjecture in under an hour
- Hacker News – GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture
- MLQ News – OpenAI Claims GPT-5.6 Sol Ultra Solved 50-Year-Old Math Conjecture
- Crypto Briefing – Google DeepMind’s AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures
こんな時代だから遊んで学びたい
AIを学ぶオンラインサロン「AIフレンズ」では、生成AIを楽しく、どこよりも優しく学べる環境をご用意しております。
毎週開催されるオンラインセッションでは、リアルタイムで学び合える機会を提供しています。 さらに、月に一度のオフラインイベントでは、メンバー同士が直接交流し、アイデアや知識を深めることができます。
「AIフレンズ」の仲間とともに、新しい価値を創造し、可能性を広げてみませんか？
一緒に学び、成長しながら、生成AIを使いこなす力を身につけましょう！
