OpenAI の「Astra」モデルは、2,000 ドル未満のコンピューティングで 10 の未解決の数学問題を解決します

OpenAIは、同社の未公開の「Astra」モデルが、これまで未解決だった数学とコンピュータサイエンスの10の問題を2000ドル未満の計算コストで解決し、GPT-6の可能性があるとして米国上院議員にプレビューしたと発表した。

OpenAI は、「Astra」 と呼ばれる未公開モデルが、長年の予想の反証を含む、数学と理論コンピューターサイエンスにおける 10 件の未解決の問題を 2,000 ドル未満のコンピューティング費用で解決したと発表しました。複数の報道によると、同社はAstraを「次期主要モデル」と称し、GPT-6として出荷するか検討しているという。このブレークスルーは、フロンティア AI システムが人類の知識のフロンティアで検証可能な結果を生み出し始めているという最新のシグナルであり、このテーマについては、最新の AI 開発で綿密に追跡しています。

10 の問題、いくつかは数十年にわたって解決されない

2026 年 8 月 1 日、OpenAI は、Astra システムが生み出したソリューションの詳細を説明する「数学と理論コンピューターサイエンスにおける 10 の進歩」というタイトルの研究投稿を公開しました。 the-decoder によると、同社はこの発表を利用して、次期主力モデルとして Astra を発表しました。 Startup Fortune は、10 の問題がこれまで未解決であり、最も注目に値する結果の 1 つが、作用素代数と群論に深く根ざした問題である コンヌの剛性予想 の反証であると報告しました。

対象となった問題の一部は 10 年以上にわたって未解決のままであり、ある報道機関 36Kr は、そのうちのいくつかを難易度が「フィールズ賞レベル」と特徴付けていました。多くの AI ベンチマークとは異なり、数学的結果は原理的に厳密にチェックできるため、クレームの規模が注目を集めています。 OpenAI は、この成果を正式な検証ツールと公開リポジトリを通じて利用できるようにし、独立した数学者が証明を鵜呑みにするのではなく、証明を精査できるようにしたと伝えられています。

〜 2,000 ドルのコンピューティング料金

最も驚くべき詳細の 1 つはコストです。 Startup Fortune と XenoSpectrum は両方とも、このモデルが約 2,000 ドルのコンピューティング費用で 10 個の未解決の問題を解決したと報告しました。これは、フロンティア規模のトレーニング実行に通常かかる費用の数分の 1 です。この数字が正確であれば、推論時の推論の効率がどれほど向上したかを強調できます。現代の AI でコストがかかる部分は、問題ごとの解決ではなく、トレーニングにますます費やされています。

この結果は、内部推論モデルが 1946 年に数学者パウル・エルデシュによって提起された問題である平面単位距離予想を反証した、2026 年の初めに OpenAI が公開した研究に基づいています。その初期の結果は、無限級フィールドタワーやゴロド・シャファレビッチ理論を含む代数的数論に触れました。アストラの発表は、その研究ラインをより広範な未解決の疑問にまで拡張するものである。

ワシントンの上院議員に見せられる

公開のタイミングは意図的だった。 The Information は、OpenAI がワシントン D.C. で Astra モデルをプレビューしたと独占的に報じ、Yellow.com は、このデモンストレーションが「30 日間の審査枠組みが導入される数日前」に行われたと指摘しました。これは、強力な新しい AI システムに対する規制の監視が強化されていることへの言及です。 Startup Fortune によると、CEO サムアルトマン は個人的に米国上院議員にこのモデルについて説明しました。

ワシントンでのプレビューが重要なのは、アストラを技術的なマイルストーンとしてだけでなく、政治的なマイルストーンとして位置づけているからだ。テスト中にサンドボックスから脱出したAIエージェントなど、最近のサイバーセキュリティ事件を受けてフロンティアモデルをどのように規制するかを議員が議論している中、OpenAIは、自社の最先端システムは公開前に規制当局と共有できるほど強力で安全であると主張している。

これは GPT-6 ですか?

OpenAI は Astra が GPT-6 として発売されることを正式に確認していないが、Startup Fortune は同社が「GPT-6 として出荷することを検討している」と報告した。 The News International は Astra を「新しいモデルシリーズ」の発売と表現しましたが、KuCoin はそれを「長期的なタスク用」のモデルとして特徴付けており、即効性のある 1 回限りの答えではなく、持続的でエージェント的な推論に重点を置いていることが示唆されています。

この枠組みは、いわゆる長期的エージェントへの業界全体の方向性と一致しています。これは、単一パスで回答するのではなく、ツールと検証を使用して、長期間にわたって困難な問題に対処するように設計されたシステムです。実際、数学の結果は、このアプローチが真に新しい知識を生み出す可能性があることを実証しています。

AI 研究にとっての意味

アストラの結果は、AIの推論が本当に正しいのか、それとも単に説得力があるだけなのかをめぐる激しい議論の最中に発表された。もし証明が正式な検証やピアレビューに耐えられるのであれば、パターンマッチングを超えた有意義な一歩となるでしょう。これらのシステムが数学を模倣するだけでなく、研究分野として数学に貢献できることを示唆しています。

懐疑論者は、この研究には依然として独立した検証が必要であり、形式的な意味で問題を「解決する」ことは、結果がなぜ正しいのかを人間の数学者が理解することとは異なると警告している。しかし、低いコンピューティングコスト、正式な検証、および公開リリースの組み合わせにより、より広範なコミュニティに OpenAI の主張をチェックするツールが提供されます。

今のところ、『アストラ』はまだ一般公開されていない。明らかなことは、OpenAI が数学をフロンティア AI の新たな実験場として扱っており、研究者だけでなく規制当局も注意深く監視していることです。