数学の未解決問題を23歳アマがAIで解決:エルデシュ『60年の謎』をGPT-5.4が5秒で突破
「数学の未解決問題を解くのは、天才的な頭脳を持つ限られた一握りの人間だけだ」 そう思っていませんか?その常識が今、音を立てて崩れ去ろうとしています。
2026年5月、数学界に衝撃が走りました。60年もの間、世界中の数学者を悩ませてきた「エルデシュ未解決問題」の一つが、23歳のアマチュア数学者と、汎用AIモデル「GPT-5.4 Pro」の共同作業によって解決されたのです。
これは単なる「計算の高速化」ではありません。AIが人類の盲点を突き、全く新しい理論の扉をこじ開けた瞬間です。この記事を読めば、AIが「検索エンジン」から「知の開拓者」へと進化した真の意味と、私たちの仕事がどう変わるのかが見えてくるはずです。
- エルデシュ問題: 20世紀最大の数学者の一人、ポール・エルデシュが遺した膨大な未解決問題群。解決者には賞金がかけられることも多い。
- 原始集合 (Primitive Set): どの要素も他の要素を割り切らないような正の整数の集合。今回の解決はこの集合の和の挙動に関するもの。
- Aletheia (アレテイア): Google DeepMindが開発した、数学研究に特化したAIエージェント。24時間自律的に思考し、証明を探索する。
エルデシュ #1196 解決の全貌:23歳アマとAIが起こした「5秒の奇跡」
今回解決されたのは、1966年に提示された「原始集合に関する漸近的性質(問題番号1196)」です。この難問に終止符を打ったのは、大学を出たばかりのリアム・プライス氏。彼は数学の博士号を持っていませんでしたが、GPT-5.4 Proという「武器」を持っていました。
プライス氏がAIに問題を投げかけたところ、AIはわずか数秒で、これまでどの論文にも登場しなかった「最初の一行(証明の糸口)」を提示しました。
要するに、これは「熟練の登山家たちが何十年も登れなかった絶壁に対し、ドローンが真上から見落とされていたルートを発見した」ようなものです。AIは過去の膨大な数式をただ覚えているのではなく、それらを組み合わせて「論理的な飛躍」を生み出す段階に達しています。
なぜ数学者が気づかなかったのか? AIが「思考の癖」を無視できる強み
この解決を検証したフィールズ賞受賞者のテレンス・タオ氏は、驚きを隠せませんでした。人間がこの問題を解けなかった理由は、知識不足ではなく、皮肉にも「知識がありすぎたこと」にありました。
数学者たちは長年の研究から、「この問題はこの公式を使って解くものだ」という強力なバイパス(思考の癖)を持っていました。しかし、今回の解決策は、あえてそのバイパスを通り過ぎた先にありました。
AIには、人間が陥りがちな「常識という名の偏見」がありません。「1億回の失敗を厭わずに、すべての論理的な可能性をフラットに検証する」。この泥臭くも圧倒的な探索能力こそが、人類が60年間見落としていた「足元の一手」を見つけ出したのです。
DeepMind「Aletheia」の衝撃:24時間眠らない「数学研究エージェント」の誕生
今回の事件は氷山の一角に過ぎません。Google DeepMindは、数学専用のAIエージェント「Aletheia(アレテイア)」を発表しました。
Aletheiaは、従来のチャット形式のAIとは異なり、自分自身で試行錯誤を繰り返す「自己対話型」の推論エンジンを搭載しています。
- 自律的な探索: 一つの難問に対して、数日間かけて何万通りもの証明ルートを生成し、自ら間違いを修正しながらゴールを目指します。
- 10問中6問を解決: 世界トップレベルの数学者が作成した「AIを試すための未公開問題」10問のうち、すでに6問を自力で解き明かしました。
もはやAIは「質問に答えるツール」ではなく、OpenAI Symphonyのような自律型エージェントと同様に、「解決策が見つかるまで粘り強く考え続ける同僚」へと進化したのです。
「マニュアルの時代」の終焉:数学者は「証明者」から「建築家」へ
AIが数学の聖域を侵食している今、人間の価値はどこへ向かうのでしょうか?
テレンス・タオ氏は、AIを「ジュニア共著者」と呼び、自らはAIが出した無数のアイデアの中から「最も美しいもの」を選び、全体の構造を設計する役割に専念し始めています。これは数学に限った話ではありません。
「AIが0から1(突破口)を作り、人間がそれを評価し、10(社会実装)に育てる」。
これからの時代、私たちはAIと競う必要はありません。AIが提示する「奇想天外な一手」を理解し、それを現実の世界にどう繋げるかを考える「知の建築家」としてのスキルが、最も重要になるでしょう。
「AIに仕事が奪われる」と恐れるのではなく、AIというドローンを使って、自分一人では見えなかった景色をどう描き出すか。その準備を始めた人から、未来の地図は書き換えられていくのです。
管理人の所感
60年解けなかった数学の難問を、23歳のアマチュアがAIと一緒に解いちゃうなんて……これこそ「AI時代のジャイアント・キリング」って感じでワクワクしませんか?もはやAIは「ググる相手」じゃなくて、自分にはない視点をくれる「最強の相棒」なんですよね。
僕らも「解き方」を暗記するより、AIが見つけたヒントをどう組み合わせて面白いものを作るかという、まさに「知の建築家」的なセンスが試される時代になりそう。僕も明日から、Aletheiaみたいなエージェントが出した「奇想天外な一手」をどう自分のコードや制作に活かすか、もっとニヤニヤしながら試してみたいと思います!