OpenAIが10年以上誰も解けなかった数学の未解決問題10問に対して機械検証可能な証明を公開したことで、複数のAIエージェントが数日間にわたって協調しながら難題に取り組む次世代モデル「Astra」の実力が初めて示されました。
27年解けなかった問題を、AIが突破した
2026年8月1日、OpenAIはGitHubに249ページの証明書とLean 4で書かれた機械検証コードを公開しました。対象は群論・量子計算複雑性・格子暗号・高次元幾何学など、専門家が10年以上取り組んできた難問ばかりです。
なかでも注目されたのは「非ソフィック群の存在証明」です。1999年にグロモフが概念を提唱して以来27年間、誰も構成に成功しなかった問題を、Astraが初めて明示的に解きました。コンヌの剛性予想の反証も含まれており、マンチェスター大学の数学者トーマス・ブルームは「大きなニュース」と評しています。
Astraは「複数のAIが数日かけて考え続ける」仕組み
Astraは一つのプロンプトに一回答えるのではなく、複数のAIエージェントが同じタスクを分担しながら並列で動きます。計画を立て、試行し、結果を検証し、また修正する——人間の研究チームに近い動き方で、長時間かけて問題に向き合います。
OpenAIによれば、10問の数学証明を導くのに費やしたトークンのコストは現行モデルのAPIレートで換算して約2,000ドル相当。単純な計算問題ではなく、何度も試行錯誤を重ねてやっと到達した結果です。モデルの正式名称はまだ確定していません。GPT-6として出すか、GPT-5系列のバリアントにするかは現在も検討中です。
研究職・開発職が最初に変わる
影響が出やすいのは、長時間の思考と試行錯誤が必要な仕事です。学術論文の文献調査、新薬候補の構造探索、大規模コードのデバッグなど「時間をかければ進む」ことは分かっているが人手が追いつかない作業がここに入ります。
これまでAIは「指示したことを素早くこなす補助ツール」でした。Astraが示すのは「目標を渡せば、自分でルートを決めて数日間動き続ける共同研究者」としての姿です。すでに一部の企業では複数のAIエージェントが連携して業務を進める構成を試験中で、Astraの正式リリース後はその流れが一気に加速するとみられています。
「問題を解く」から「問いに向かう」へ
数学の未解決問題は、模範解答がありません。どこから手をつけるか、何を試すかも自分で決める必要があります。そこを複数のエージェントが協調して突破したという事実は、AIが「与えられたタスクを処理する」段階から「自分で問題に向かっていく」段階に入ったことを示しています。
ChatGPTのような使い方でAIに慣れてきた人にとっては、AIとの関わり方そのものを見直す機会になりそうです。
FREE DOWNLOAD
実務で使えるお役立ちコンテンツを無料で見る
無料会員登録で、実務で使えるAIテンプレート・プロンプト・PDFを受け取れます。
全PDFにアクセスする（無料）
無料会員登録して受け取る
27年間解けなかった問題に、AIが答えを出してしまった——正直、ちょっと言葉を失いました。
数学の難問が解けたというより、「AIが自分で考え続けられるようになった」という感覚のほうが近いかもしれません。これまでの「ツール」という感覚が、じわっと変わってきましたね。
急に使い方を変える必要はないですが、「AIに何を任せられるか」の発想を少し広げてみると、新しい景色が見えてくると思います。