OpenAI社内の次世代モデルがAstra超え?1万体エージェントとナビエ–ストークス

コラム

OpenAIが2026年9月8日に公開した公式発表によると、社内で学習中の次世代モデルが、社内ベンチマークでGPT-6 Astraを大きく上回る性能を示したうえで、難問として知られるナビエ–ストークス方程式の存在と滑らかさに関する問題へ挑んだ、とのことです。

協調して動くAIエージェントをおよそ1万体規模で動かし、約88時間で解析的な証明案に到達。その後、GPT-6 AstraでLeanによる形式化と検証にさらに17時間をかけた、と説明されています。ここでは公式の説明を軸に、「何が起きたか」「どう進めたか」「いま読み手が押さえるべき距離感」を整理します。

なおOpenAI自身も、この成果をミレニアム懸賞問題の賞金請求には使わない方針だと明記しています。数学界での最終的な評価はこれからで、速報だけで断定しすぎないことが大切です。

社内の次世代モデルは、Astraより一段上だとOpenAIが説明

公式ページでは、ナビエ–ストークス問題に使ったのは「GPT-6 Astraより明らかに高性能な社内モデル」だと書かれています。8月28日から学習を始めており、数学を含む社内ベンチマークで前例のない成績が出ている、しかも学習はまだ続いていて性能も伸び続けている、という位置づけです。たとえ話で言うと、いま店頭に並んでいる最上位機(Astra)の裏で、まだ型番も公開されていない試作機が、試験場の記録を更新しているイメージに近いです。社名付きの製品名や一般向けAPIの公開日は示されていません。OpenAIが強調しているのは「次のモデルで何が起きうるかを、世界に知らせたい」という点です。ビジネス読者にとっては、「公開済みの最強」と「社内で動いている次」は別物だと切り分けるのが実務的です。前者は今日から使える道具、後者は方向性の合図として読む、という距離感です。見出しの数字や噂だけで飛びつかず、公式の言い切り範囲(社内ベンチ・未公開・学習継続)をそのまま受け取るのが安全です。

約1万体のエージェントが88時間で証明案へ、Lean化はAstraが担当

進め方の中心は、社内モデルで動く協調エージェント群です。キャッシュされたウェブの閲覧やコード実行などの道具を使い、グループ内でやり取りしながら探索しました。ナビエ–ストークスの解決に至ったグループは同時稼働でおおよそ1万体規模だった、と公式は述べています。9月1日に起動し、9月5日(土)ごろに結論へ到達、所要は約88時間。その後Lean形式化と検証にGPT-6 Astraで追加17時間、という流れです。ナビエ–ストークス関連だけで約270万メッセージ、出力トークンは約1,300億。全問題を合わせると約490万メッセージ・約3,000億トークン、とも記されています。たとえ話では、巨大な研究所に多数の研究員がいて、途中結果をCodexで要約・共有しながら、粘性流体の方程式が「有限時間で特異性(速度が際限なく大きくなる)」を起こしうるかを攻めた、という構図です。結果として、滑らかな外力のもとで静止から始まり、エネルギーは有限のまま特異性が生じる、という解析的証明とLean形式化を公開した、とOpenAIは説明しています(公式のミレニアム問題定式化における「C」「D」を立てた、という主張)。

すごい一方で、読み手が持つべき距離感

数字だけ見ると、人類の直感を超える研究速度に感じます。実際OpenAIも、AIの進歩のペースを知らせることが目的だと繰り返し述べ、今回は「完結」ではなく「時点のスナップショット」だと位置づけています。賞金請求はしない方針で、検証可能な論文とLean形式化を公開する形です。関連して、Euler方程式の別問題では約100体・約50時間で成果が出た、という前段もあります。一方で、ミレニアム問題の最終認定はクレイ数学研究所や数学コミュニティの評価が本丸です。外力あり/なしなど定式化の細部も専門的で、一般ニュースの見出しだけで「完全解決」と決めつけるのは早い、と受け止めるのが安全です。ビジネス現場への示唆はシンプルで、「公開モデルの能力」と「社内フロンティアの伸び」を分けて見る、長期の難問にエージェント群を張る運用が現実味を帯びてきた、安全とペース配分をOpenAI自身が論じている、という三点です。想像を超える進歩の気配はあるが、使う側は公式の一次情報と検証プロセスを併せて追う、という読み方がおすすめです。

まとめ

OpenAI公式発表によれば、学習中の社内次世代モデルはベンチマーク上GPT-6 Astraを大きく上回り、約1万体のエージェントが約88時間でナビエ–ストークス関連の証明案に到達、Lean化にAstraで17時間を加えた、とのことです。凄まじいスケール感がある一方、賞金は請求せず公開検証に委ねる姿勢も明示されています。まずは公式ページと証明資料を起点に、続報を見守るのがよいでしょう。

参考リンク

OpenAI:On the Navier–Stokes Millennium Prize Problem

Clay Mathematics Institute:Millennium Prize Problems

この記事を書いた人
この記事を書いた人

毎日20時間以上AIの実践・研究に没頭するITエンジニア。20年以上にわたり、オンラインゲームや生活関連など幅広いジャンルのオウンドメディアで執筆・編集長を歴任。現在は上場企業グループの代表取締役を務め、複数の事業者団体で理事を兼務する経営者でもある。テクノロジーの最前線に身を置きつつ、地域の商店街や神社の運営にも深く携わるなど、地域活性化にも尽力。圧倒的な現場経験とITの専門知識、経営者の視点から、信頼性の高い有益な情報を発信している。
Olive株式会社 代表取締役

tanakaをフォローする
コラム
シェアする
tanakaをフォローする

コメント

タイトルとURLをコピーしました