OpenAIの「Astra」が、数学の未解決問題を10問同時に解いた！

※この記事は執筆の一部にAIを使用しています

「AIが80年間解けなかった数学の難問を解いた」——このブログでそんな記事を書いたのは、2026年5月のことでした。

エルデシュという数学者が1946年に提起した「単位距離問題」を、OpenAIの内部モデルが自律的に解き明かしたというニュースです。当時私は「AIがついに”創造性”の領域に踏み込んできた」と書きました。

それから3か月。同じOpenAIがさらに衝撃的な発表をしました。

2026年8月1日、OpenAIは次期メジャーモデル「Astra」の社内版が、10年以上（多くはそれよりはるかに長い間）未解決だった数学・理論計算機科学の難問を、一挙に10問解決、あるいは大幅に前進させたと発表したのです。

▶ OpenAIの次世代モデル「Astra」が数学の未解決問題10件を解決（PC Watch）

「単発の快挙」から「量産体制」へ

5月の記事で紹介したエルデシュの単位距離問題は、いわば「1つの伝説的な難問をAIが解いた」という単発の快挙でした。

でも今回のAstraの発表は違います。高次元幾何学、符号理論、群論、作用素環論、量子計算量理論、格子暗号、極値組合せ論——まったく異なる7つ以上の専門分野にまたがる10個の難問に、同時に取り組んで結果を出しているのです。

つまり今回の意味するところは、「AIがたまたま1つの難問を解けた」ではなく、「AIが数学の広範な分野を横断して、恒常的に未解決問題を解決できる段階に入った」ということです。

具体的な成果の一部を紹介すると、

• 非ソフィック群の存在を示す構成（群論の中心的な未解決問題）
• フォン・ノイマン環におけるコンヌの剛性予想の反証
• 高次元の球充填で、充填密度の上限をコーン=エルキースの限界まで改善
• 二元符号の最大サイズの上限を指数的に改善

専門用語が並んでいて難しく感じるかもしれませんが、いずれも数学者たちが10年、20年と手をつけられずにいた、いわば「積読状態」だった問題ばかりです。それをAstraは一気に片付けてしまいました。

驚くべきは「コスト」の安さ

そしてもう一つ、5月の記事にはなかった衝撃的な情報があります。コストです。

この10問を解くために消費したトークン量は、API料金に換算してわずか約2,000ドル（約31万円）だったとOpenAIは発表しています。

数学者たちが人生を賭けて何十年も取り組んできた問題が、ちょっとした社員旅行の予算にも満たない金額で、次々と解かれてしまった。この事実の重さは、正直言葉を失うレベルです。

「査読前」という留保も忘れてはいけない

ただし、今回の発表には冷静に受け止めるべき点もあります。

公開された結果はまだ査読を経ていません。ミレニアム懸賞問題（数学の超難問として知られる7つの未解決問題）が解かれたわけでもありません。

OpenAIの研究者ノーム・ブラウン氏も、1問あたりに割り当てた計算資源は限定的だったと述べています。

とはいえ、今回は5月のケースと同様、AIが生成した証明が「Lean 4」という定理証明支援言語で形式検証され、機械的に1行ずつ検算可能な形でオープンソース公開されている点は重要です。

人間の権威や企業の主張に頼るのではなく、プログラムが自動で正しさを検証できるという透明性の高い形で成果が示されています。

AI数学研究に新しい国際ルールも誕生

こうしたAIによる数学研究の急増を受けて、数学界でも新しい動きが出ています。

2026年6月、国際数学連合（IMU）の支持のもと、著名な数学者テレンス・タオ氏、ピーター・ショルツ氏らが主導して「人工知能と数学に関するライデン宣言」が採択されました。

不透明な商用システムへの依存や、根拠のない成果の誇張、引用の欠如といった問題に対して、学術的な規範を確立しようという動きです。

AIが数学の世界に急速に入り込む中で、「AIの成果をどう検証し、どう位置づけるか」というルール作りも同時進行しているわけです。

前回の記事から見えてくる加速の速さ

改めて時系列を振り返ってみます。

• 2026年5月：OpenAIの内部モデルが、80年間未解決だったエルデシュの単位距離予想を反証（単発の快挙）
• 2026年8月：次期モデル「Astra」が、7分野以上にまたがる10年以上未解決の問題を10問同時に解決（量産フェーズへ）

わずか3か月で、「1つの伝説的な難問を解いた」というニュースが、「複数分野の難問を同時多発的に解決する」というニュースに置き換わりました。しかもコストは約31万円。

以前の記事で私は「AIが新しい技術を発明するようになりそう」と書きましたが、その動きは、私が想定していたよりもずっと速いペースで進んでいるようです。

ちなみにAstraは、複数のAIエージェントを連携させて数時間〜数日規模の仕事をこなす新しいクラスのモデルだと報じられています。まだ一般には公開されていませんが、今回の数学の成果は、そのAstraが実際にどれほどの能力を持っているかを示す「予告編」のようなものと言えそうです。

まとめ

• OpenAIの次期モデル「Astra」の社内版が、10年以上未解決だった数学・理論計算機科学の難問10問を同時に解決・前進させたと発表
• 5月に紹介したエルデシュの単位距離予想の反証は「単発の快挙」だったが、今回は7分野以上にまたがる「量産型」の成果
• 10問を解くのに要したコストはわずか約2,000ドル（約31万円）
• 証明はLean 4による形式検証済みで、オープンソース公開されている一方、専門家による査読はまだこれから
• わずか3か月で、AIの数学研究能力は「単発」から「横断的・継続的」なレベルへと進化した

3か月前に「創造性でも人間を超えてきた」と驚いていたはずが、もう次のフェーズに入っている。AIの進化のスピードを実感させられる出来事でした。

次にAstraが正式に公開されたとき、私たちの生活や仕事にどんな変化をもたらすのか。引き続き注目していきたいと思います。