OpenAIは次期大型モデルファミリー「Astra」を正式発表する代わりに、10件の未解決数学問題を解いたという研究成果を通じて存在を明らかにした。一方で、中国発のオープンウェイト系モデルが世界のAIトラフィックで急速にシェアを伸ばしている。
主なポイント
- OpenAIは8月1日付の研究投稿で、少なくとも10年以上未解決だった10件の問題を解いたとしてAstraを公表。
- モデルの一般公開時期も正式名称も未定で、新たな連邦政府の審査を通過するまでユーザーは利用できない。
- ルーティングされるトークンの大半を中国発オープンウェイトモデルが占める一方、支出のほとんどは依然として米国ラボに集中。
Astra、10件の未解決数学問題を突破
OpenAIは、Astraを製品発表会ではなく、数学に関する研究投稿の中で「命名」する形で公表した。
社内版Astraは、数学および理論計算機科学の未解決問題10件に新たな結果を提示した。いずれも少なくとも10年以上、解かれていなかった難問だ。
OpenAIはGitHub上で、249ページに及ぶ論文と、Lean 4による機械検証可能な証明書をオープンライセンスで公開している。
なかでも最大の成果とされるのが、1999年から未解決だった群論における「非ソフィック群」の明示的構成だ。研究者の試算では、10件すべての解答に要したトークンコストは、同社現行フラッグシップ「Sol」のAPIレート換算で約2,000ドルにとどまるという。
関連記事: OpenAIがインフルエンサーを農場リゾートに招待、フォロワーから強い反発
数学者がAstraの「証明」を吟味
マンチェスター大学でエルデシュ問題の公開データベースを運営する数学者トーマス・ブルーム氏は、今回の成果を「大ニュース」と位置づけ、OpenAIが5月に発表した幾何学の成果を上回ると評価した。
同氏は「機械が数学者を置き換える」といった見方は退けた。Astraは100年以上にわたる数学者の論文を学習しており、あくまで人類の蓄積の上に立っていると強調する。OpenAIの研究者ノーム・ブラウン氏によれば、チームは他の著名な未解決問題にも挑んだものの、多くは解けなかったという。ミレニアム懸賞問題はいずれも未解決のままだが、同氏は「1問あたりの計算資源は比較的少なく、科学的推論における大きな前進だ」と主張する。
サム・アルトマンCEOは先週、ワシントンで議員向けにAstraを事前説明しており、Astraは新たな連邦枠組みの下で審査される最初のモデルになる見通しだ。同社は公開日程を示しておらず、「GPT-6」として出すのか、あるいはGPT-5系の別バリアントとするのかも決めていない。
中国オープンウェイト勢、トークン需要を塗り替え
このタイミングが重要なのは、オープンウェイト陣営がもはや米国ラボの「次の一手」を待たなくなっているからだ。Nvidiaのジェンスン・フアンCEOは先月、複数の米テック大手を巻き込みオープンウェイト支持を打ち出した。一方、Anthropicのダリオ・アモデイCEOは、安全性評価の義務化や半導体輸出規制の強化を訴えている。
中国のMoonshot AIは7月、2.8兆パラメータのオープンウェイトモデル「Kimi K3」を発表。現時点で最大級のオープンモデルとうたう。
モデルルーター「OpenRouter」では、米国製モデルにルーティングされるトークン比率が、2025年6月の約70%から1年後には約30%まで低下した。一方で、ある大口エンタープライズ向けゲートウェイでは、6月時点でも支出の約95%が米国ラボに流れており、この収益ギャップこそ、Astraが守らなければならない「牙城」となっている。
