アストラ社が解決に貢献した問題は、「少なくとも10年間、そしてほとんどの場合、それよりずっと長い間、彼らの中心的な成果に進展は見られなかった」とOpenAIは書いている。結果は、高次元幾何学、符号化理論、算術回路の複雑さ、群理論、量子の複雑さ、格子暗号、極限組合せ論などの分野に及んでいます。この領域は、通常、進歩が単一の研究の実行ではなく、数年単位で測定される領域です。
単なる答えではなく、検証された証拠
Astra の出力と数学を推測するチャットボットの違いは検証です。 OpenAI によると、人間の研究者は同じモデルを使用して議論を原稿として準備し、アストラはすべての議論を リーン証明書として形式化したという。 Lean は、数学的引数を機械チェックできるオープンソースの証明アシスタントです。つまり、他の数学者が結果を鵜呑みにする必要はなく、ソフトウェアによって独立して数秒で検証できます。
その区別が重要です。言語モデルは、微妙で致命的なエラーを含む、一見もっともらしい証明を生成する可能性があります。各議論をリーンに変換することで、OpenAI はマーケティング上の主張をチェック可能な成果物に変換しました。詳細を報じた BleepingComputer によると、具体的な進歩には、非ソフィック群の存在を証明し、群理論における大きな未解決の問題を解決することが含まれます。 Connes の剛性予想の反証。高次元球パッキングの新しい限界。そしてその結果、多作の数学者パウル・エルデシュが当初提起したいくつかの問題が解決されました。
OpenAI は、これらのソリューションを見つけるために必要なトークンの総数は、現在の API レートで約 2,000 ドルかかると指摘しました。これは、現代の数学的発見の計算フットプリントに関する驚くべきデータ ポイントであり、フロンティア レベルの研究を研究室だけでなく、資金豊富な学術チームの手の届く範囲に置くものです。
数学者の反応
デコーダー紙によると、マンチェスター大学の数学者でエルデシュ問題参考サイトerdosproblems.comを運営するトーマス・ブルーム**氏は、Xに関する結果を「ビッグニュース」と呼んだ。同氏は、それらが5月に発表された単位距離予想に対する反例よりも重要であると評価した。 「単位距離の証明よりも大きくはないかもしれないが、構造という観点から見ると、これは大きい」とブルーム氏は書いている。
ブルーム氏はまた、AIが数学者に取って代わるという枠組みに対して反論し、このシステムが1世紀以上の理論に基づいており、数学者によって構築され、数学者がこれまでに書いたものすべてに基づいて訓練されているのであれば、その主張はほとんど意味がないと主張した。
Astra が利用しているテスト時推論技術の研究者である Noam Brown 氏は、より慎重な意見を持っていました。 「残念ながら、ミレニアム賞の問題は（まだ）ありません」と彼は X に投稿し、クレイ数学研究所がそれぞれ 100 万ドルを提供している 7 つの有名な問題について言及した。2000 年の賞発表以来、解決されたのは 1 つだけである。
誰もが感銘を受けたわけではありません。 AI評論家のゲイリー・マーカス氏はサブスタックの投稿でこのモデルを「素晴らしいが、非常に売られすぎている」と評したが、これはフロンティアラボがマイルストーンを主張するたびに起こるおなじみの懐疑論だ。真の技術的成果とプロモーションの枠組みとの間の緊張関係が、アストラの受け止め方を決定づけることになるだろう。
長いタスクのための新しいモデル ファミリ
The Information は、Astra が長時間実行されるワークロード向けに構築された新しいモデル ファミリであることを独自に確認しました。 OpenAI は、これを、複数の AI エージェントがより大きな問題のさまざまな部分で協力できるシステムであると説明しています。これは、定理の証明や大規模なコードベースのリファクタリングなど、数秒ではなく数時間または数日かかるタスクを真に目的とした設計です。
BleepingComputer は、OpenAI がこのモデルを GPT-5.7 として出荷するか、GPT-6 として出荷するか、または別の名前で出荷するか決定していないと報告しました。 CEOのサム・アルトマン氏はすでにワシントンD.C.でアストラを紹介しており、同社がこのシステムが政策立案者の前に投入するのに十分成熟していると考えていることを示唆しているとデコーダーは報じた。
政府の審査のハードル
おそらく最も重要な詳細は規制です。 The Decoder によると、アストラは、一般公開前に正式な承認を必要とする米国政府の計画された審査プロセスを通過する最初のモデルの 1 つとなります。これにより、以前の主力モデルでは決して直面することのなかった政治的不確実性が発売スケジュールに加わり、OpenAI が Astra の機能をどのように特徴付けるかについてのリスクが高まります。
デビュー戦も無差別級の熾烈なレースの中で迎える。その数日前に、Thinking Machines Lab は Inkling-Small 無差別重量モデルをリリースし、中国の研究所は引き続き無差別重量フロンティア システムを推進しています。 Astra は、Lean などのツールによって検証された独自の大規模な推論が、依然として最大のブレークスルーへの道であるという OpenAI の賭けを示唆しています。
今のところ、『アストラ』は未公開のままだ。しかし、その数学的デビューは、どのようなフロンティア AI システムが純粋科学に貢献できるか、またそれに伴う主張を一般の人々がどの程度厳密に精査すべきかについての議論をすでに再構築しました。
AI の先を行く
Astra や幅広いフロンティア モデル レースのような開発についていきたいですか? 最新の AI 開発 のハブをブックマークしてください。
AI ニュースをもっと読む→
