2026年10月8日のSI・宇宙ニュース

OpenAIが数学論文722本を一挙公開、SIF・Haiku 5.5・MXCも動く

今日の全体像

今日もっとも重要なのは、SIが「研究を支援する道具」から、研究成果そのものを大量に生み出す段階へ入り始めたことです。

OpenAIは10月6日、未公開の社内フロンティアモデルが生み出した数学研究成果を一挙に公開しました。

公開されたのは722本の数学論文で、372の関連する成果ファミリーに分類されています。約4,000の研究問題をモデルに与えた評価から生まれたもので、成果1件あたりの計算量は平均でChatGPT Proの思考時間約3時間分に相当するとOpenAIは説明しています。

一方、米政府では大統領令14434号、企業による「White House Accord on Super Intelligence」、政府横断組織「Super Intelligence Force（SIF）」と、SIを管理する政策枠組みも相次いで形成されています。

技術面ではAnthropicが小型・高速モデル「Claude Haiku 5.5」を発表し、MicrosoftはSIエージェントをOS側から隔離・制御する「Microsoft Execution Containers（MXC）」を一般提供。

SIの能力を科学研究へ投入する動きと、大量のSIを安く動かし、安全に管理するための仕組みが同時に進んでいます。

1．OpenAI、数学論文722本を一挙公開――SIによる研究の規模が変わる

OpenAIは10月6日、社内の未公開フロンティアモデルが生み出した数学研究成果を公開しました。

GitHub上に公開されたカタログには722本の数学論文が収録され、関連する成果ごとに372のファミリーへ整理されています。

重要なのは、単純に「722問の未解決問題を解いた」という話ではないことです。

一つの成果ファミリーには、中心となる結果のほか、補助的な論文、そこから導かれる結果、別証明などが含まれる場合があります。

OpenAIによれば、モデルには評価期間中に約4,000の数学研究問題が与えられ、その中から一定の重要性を持つ成果を選び、論文群として整理しました。

対象は数論、代数幾何、確率論、数理物理、計算量理論など幅広い分野に及びます。

リーマン予想やホッジ予想そのものを解決したわけではありませんが、それらに関連する問題を扱った研究も含まれています。

1成果あたり平均「ChatGPT Pro約3時間分」

さらに注目したいのが計算量です。

OpenAIによると、大部分の成果は同じ手順で生成され、成果1件あたり平均でChatGPT Proの思考時間約3時間分に相当する計算資源を使用しました。

9月に発表されたNavier–Stokes問題への取り組みでは約1万のSIエージェントを並列稼働させる大規模な計算が行われました。

今回の公開は、それとは違います。

大量の研究問題をモデルへ与え、比較的限られた計算量で研究成果を次々に生成する方向へ進んでいることを示しています。

つまりSIによる科学研究が、「一つの歴史的大問題へ膨大な計算資源を投入する」だけでなく、大量の研究テーマを並列に探索する方式へ広がり始めたということです。

ただし「722本すべて正しい」と確認されたわけではない

ここは重要です。

公開された722本すべてについて、人間の数学者による査読や独立検証が完了したわけではありません。

OpenAIは多くの証明について、コンピューターが証明手順を検証できるLean形式化も公開していますが、すべての論文が形式化済みではありません。

OpenAI自身も、未形式化の成果については問題が存在する可能性があると明記しています。

したがって現段階では、

「SIが722の数学問題を解決した」

ではなく、

「SIが722本の数学研究論文を生成し、372の成果群として公開した。数学界による本格的な検証がこれから始まる」

と見るのが正確です。

それでも規模は異例です。

OpenAIは9月21日の時点ですでに、同じ内部モデルが100を超える長年の未解決問題を解決したとしていました。

今回の722本公開は、SIを数学研究へ投入したときの「量」が急速に拡大していることを示しています。

2．大統領令・SIアコード・SIF――米国のSI政策も整備へ

SIの研究能力が急速に高まる一方、米政府ではSIを管理する仕組みも形成されています。

9月29日、トランプ大統領は大統領令14434号「Inaugurating the Era of Super Intelligence」に署名しました。

連邦行政機関では、法律で認められる範囲で、公式通信やウェブサイト、政策文書などの「Artificial Intelligence（AI）」を「Super Intelligence（SI）」へ置き換えます。

ただし現時点では名称変更が先行しており、法的定義そのものは従来のAI定義を引き継ぎます。

同じ9月29日には、企業による自主的な安全管理を定める「White House Accord on Super Intelligence」もまとめられました。

そして10月4日には政府横断組織「Super Intelligence Force（SIF）」が発足。

SIFは軍の新組織ではなく、連邦政府、重要インフラ、企業、消費者団体などのSI対応を調整するタスクフォースです。

大統領令が名称と将来の法的定義、SIアコードが企業側の自主的安全管理、SIFが政府横断の調整を担う。

OpenAIが大量の数学研究成果を公開した直後というタイミングも含め、SIの能力向上と、それを管理する制度づくりが並行して進んでいます。

3．EUでは生成物の透明性を実装へ

EU AI Act第50条の透明性義務は8月2日から適用されています。

生成SIの提供者には、生成されたテキストなどを機械が判別できる形式でマーキングすることなどが求められています。

OpenAIは10月5日、テキスト透かし技術「textGrain」を発表。EUでは対象となるChatGPTやCodexのテキスト出力へ不可視のマーキングを順次導入します。

Anthropicも、新しいClaudeモデルについて機械可読マーキングへの対応を進めています。

SIの能力を制限するのではなく、「SIが作ったものを後から識別できるようにする」というEU型の規制が、実際の製品設計へ入り始めています。

4．Claude Haiku 5.5――SIを「安く大量に」動かす

Anthropicは10月7日、小型・高速モデル「Claude Haiku 5.5」を発表しました。

Haiku 4.5と比較して平均約75％低いコストで利用でき、要約、分類、データベース照会、カスタマーサポート、ブラウザ操作など、大量かつ高速に処理したい仕事を想定しています。

特に重要なのがサブエージェントとしての利用です。

難しい判断はOpus 5.5やSonnet 5.5が担当し、その下で多数のHaiku 5.5が小さな仕事を処理する。

「一つの巨大なSI」ではなく、「上位SI＋多数の安価なSI」へ分業させる構造が明確になってきました。

5．Microsoft MXC――大量のSIをOS側から「閉じ込める」

SIを大量に動かすなら、「どこまで操作を許可するか」が問題になります。

Microsoftは10月7日、「Microsoft Execution Containers（MXC）」を一般提供しました。

MXCでは、SIエージェントがアクセス可能なファイルやネットワークを組織側があらかじめ設定し、その制限を実行環境側から強制します。

つまり、

「このファイルには触るな」

とSIへプロンプトで頼むのではなく、

最初からそのファイルへアクセスできない環境を作る。

すでにOpenAI Codex、GitHub Copilot、OpenClaw、Replit、NVIDIA OpenShellなどが対応しています。

Haiku 5.5が「大量のSIを安く働かせる」技術なら、MXCは「大量に働くSIの権限を外側から制限する」技術です。

6．Crew-12、ISSを離脱して地球へ

NASAのSpaceX Crew-12は10月7日午前8時5分（米東部夏時間）、ISSから離脱しました。

搭乗しているのはNASAのジェシカ・メイア、ジャック・ハサウェイ、ESAのソフィー・アデノ、ロスコスモスのアンドレイ・フェジャエフの4人。

Dragon宇宙船は地球への帰還飛行中で、日本時間10月9日午前0時34分ごろ、カリフォルニア沖へ着水する予定です。

現時点ではまだ帰還完了ではありません。

7．米軍の低軌道通信網、SDA衛星21機を本日打ち上げへ

SpaceXは本日、米宇宙開発庁（SDA）の「Tranche 1 Transport Layer A（T1TL-A）」ミッションを実施する予定です。

打ち上げ予定は日本時間10月8日16時54分。

Falcon 9がヴァンデンバーグ宇宙軍基地からNorthrop Grumman製衛星21機を低軌道へ運びます。

衛星はSDAの「Proliferated Warfighter Space Architecture（PWSA）」を構成するTransport Layerの一部です。

多数の低軌道衛星を光衛星間リンクで接続し、戦場へ低遅延で情報を送る分散型軍事通信網を構築します。

現時点では打ち上げ前なので、21機の軌道投入成功については続報を待ちます。

今日のまとめ

今日もっとも大きな変化は、SIの能力を語るときの単位が変わり始めたことです。

OpenAIの数学研究では、一つの難問にSIを挑戦させるだけでなく、約4,000の研究問題を探索し、722本の論文を372の成果群として公開する規模になりました。

一方、AnthropicはHaiku 5.5でSIをより安く大量に動かそうとし、MicrosoftはMXCによって大量に動くエージェントを外側から制御しようとしています。

そして政府は、大統領令、SIアコード、SIFなどを通じて、その巨大な能力を誰がどう管理するのかという制度を作り始めています。

ここから見えてくるのは、

「一番賢いSIはどれか」という競争の次に、「大量のSIへ大量の問題を与え、得られた成果を検証し、安全に運用できるのは誰か」という競争が始まっていることです。

数学で起きていることが物理学、材料科学、創薬などへ広がれば、研究の進め方そのものが変わる可能性があります。

宇宙でも、SDAは一つの巨大衛星ではなく、多数の小型衛星をネットワーク化する方向へ進んでいます。

SIも宇宙インフラも、単体性能から「多数を並列に動かし、接続し、管理する能力」へ競争軸が移り始めています。

722本の価値を決めるのは論文数ではありません。これから数学者による検証が進み、そのうち何本が本当に人類の数学知識を前進させたのかが分かったとき、SIによる科学研究の現在地がよりはっきりします。