OpenAI が数学・計算機科学・物理学の 3 分野で形式化された主張を発表しました。Meta は AI 基盤投資の資金を巨大な株式発行で賄い、SpaceX は次世代 GPU をリースで調達しています。過去 24 時間で重要な 7 つのニュースをまとめます。
1. OpenAI、指数時間仮定の否定を含む 3 つの科学ブレークスルーを発表
OpenAI は 10 月 26 日、内部モデルが生み出した 3 つの成果を発表しました。すべての次元における局所平滑化予想の証明、指数時間仮定（ETH）の否定、そして量子色力学（QCD）を含む 4 次元量子場の理論の厳密な存在証明です。数学の結果から Kakeya 予想と Stein 制限予想が解決され、物理学の成果はミレニアム懸賞問題の一つである純粋 Yang-Mills 理論に触れています。
— OpenAI · PANews
検証体制が実務者にとって重要なポイントです。数学と計算機科学の結果は Lean で形式検証され、証明資料は公開されています。ETH は数百本の論文で計算量の下限の前提として使われてきたため、その否定は大きな衝撃です。ETH を提案した Russell Impagliazzo 氏と Ramamohan Paturi 氏、さらに MIT の Ryan Williams 氏が検証チームを率います。物理学の証明はノーベル物理学賞受賞者の David Gross 氏が率いるグループが審査中で、OpenAI 自身も学術界による独立確認が必要としています。
— OpenAI · PANews
文脈も大切です。10 月初旬に同社は数百本の機械生成数学原稿を公開し、検証コストを学界に押し付けると批判を受けました。今回の発表は 3 件に絞られ、それぞれ外部の有名研究者による審査グループが付いています。学会がチェックする気になる形で主張を段階的に出す方向へ学んだようです。
2. GPT-6.1 Terra リリース：コンピュータ操作が半額に
OpenAI は 10 月 26 日、視覚推論・正確なコンピュータ操作・自然な文章生成に特化した高速モデル GPT-6.1 Terra をリリースしました。標準 API 価格は入力 100 万トークンあたり 1 ドル、出力 5 ドルで、GPT-5.6 Terra と GPT-6.1 Sol の半額です。ChatGPT Work と Codex、そして API（gpt-6.1-terra）で展開中で、コンテキストは 105 万トークンに対応します。
— OpenAI
ベンチマークを見ると効率の行き先が分かります。OpenAI によると、Terra は Agents' Last Exam で GPT-5.6 Terra を 15 ポイント上回り、低推論 effort 時のエラー率を 53.6% から 16.7% に、Terminal-Bench の正答率を 21.5% から 50.3% に改善しました。トークン単価は GPT-6 Astra の 10 分の 1 で、タスク完了速度は平均 3 倍以上という主張もあり、Artificial Analysis の独立測定もコスト効率の方向を支持しています。
— OpenAI · Artificial Analysis
開発者にとっての本題は価格変更です。コンピュータ操作はスクリーンショット、クリック、フォーム入力といったボリュームワークであり、1 セッションで数千ステップ走ります。出力 100 万トークン 5 ドルなら、定型業務の自動化はパイロットから本番予算の話に変わります。深い研究や複雑なコーディングには Sol と Astra を使えと OpenAI 自身が案内している点も率直です。
🔗 OpenAI Release Notes · OpenAI API Docs
3. Meta、AI 建設のために最大 950 億ドルの株式発行を申請
Meta は 10 月 26 日、約 350 億ドルの引受株式発行を開始し、議決権のない新クラス C 株式による最大 600 億ドルの ATM（市場直販）プログラムを開示しました。合計枠は約 950 億ドルです。引受分はモルガン・スタンレーとゴールドマン・サックスとの先物売買契約を通じた A 普通株式約 225 億ドルと、強制転換優先株式の預託証券約 125 億ドルで構成されます。ATM プログラムは 2027 年第 1 四半期以降の開始見込みです。
— Meta · Investopedia
申請書には NVIDIA、AMD、Broadcom が合計最大 50 億ドルの普通株式を購入する意向（非拘束）も記載されました。主要ハードウェア供給業者 3 社が株式購入者候補に名を連ねる異例の構図で、シリコンとクラウドの経済がどれだけ密接に絡んだかを示しています。Meta は資金を AI インフラと personal superintelligence への継続投資に充てるとし、2026 年の資本支出は 1350 億から 1450 億ドルを見込んでいます。
— Meta · Investopedia
タイミングを説明するのはキャッシュフローです。第 3 四半期の売上は前年同期比 26% 増の 646 億ドルでしたが、資本支出 349.1 億ドルが営業キャッシュフロー 327.9 億ドルを上回り、フリーキャッシュフローは約 21 億ドルの赤字になりました。将来の支出コミットメントは 7 月の約 7000 億ドルから 8250 億ドルへ膨らんでいます。AI インフラの資金調達が負債から株式へ広がる瞬間です。
4. SpaceX、Apollo と 400 億ドルの GPU リース契約：史上最大の GPU ファイナンス
SpaceX は 10 月 26 日、Apollo Global Management の管理する事業体との間で、約 400 億ドルの GPU および関連設備のマスターファイナンスリースに係る拘束力あるコミットメントに達したと発表しました。Apollo は NVIDIA の次世代 Vera Rubin チップと関連サーバーを購入し、地上の計算基盤向けに SpaceX へリースします。同社はこれを史上最大のコミット済み GPU ファイナンスと位置づけ、同日の 8-K で構造が開示されました。
— SpaceX · Reuters
条件は具体的です。設備はトランシェ（分割）ごとに納入され、各トランシェには約 5 から 5.25 年のリーススケジュールが付きます。賃料は各トランシェの調達コストの約 5% に未払い残高への固定金利を加えた額です。ゴールドマン・サックスが唯一のストラクチャリングエージェントを務め、ブラックロック、ゴールドマン・サックス・アセット・マネジメント、KKR 顧問口座がアンカー投資家として参加しました。年内クローズ予定で、リースは 2027 年上半期のチップ納入時に開始されます。
— SpaceX · Reuters
今回の規模は今夏 Anthropic 向けに組まれた 360 億ドルのストラクチャードノートを超え、プライベートクレジットが AI インフラに完全参入したことを示します。SpaceX の Super Intelligence セグメント（Grok とクラウドサービス）は第 3 四半期に 75.6 億ドルの売上を計上し、第 2 四半期比 195% 増でした。CFO の Bret Johnsen 氏は SI インフラ投資の回収期間が 1 年未満だと述べています。一方イーロン・マスク氏は、債務市場が引き締まるにつれ 200 以上のネオクラウドが「グッピー級の死」に直面すると警告しました。資本は潤沢でも、売上の裏付けがあるビルダーにだけ流れるというメッセージです。
5. NVIDIA、ロボット動画のアノテーションを 1 時間 72 セントにする Flora をオープンソース化
NVIDIA の GEAR 研究ラボは、ロボット学習用動画へアノテーションを付けるデータエンジン Flora をオープンソース化しました。ファインチューニングした 3 つの Qwen3.5 モデルで構成されています。9B モデルが動画を行動単位に分割し、27B モデルが前後の文脈を考慮して各セグメントの説明文を生成、もう一つの 27B モデル「Flora-Rewarder」がステップごとの進捗スコアとタスク成否を判定します。3 モデルとも Hugging Face と GitHub で公開中です。
— NVIDIA · The Decoder
注目は経済性です。NVIDIA の見積もりでは、Flora は動画 1 時間あたり約 72 セントでラベル付けでき、同じ仕事を GPT-6 Astra に頼むと約 88.50 ドルかかります。GPU を 1 時間 10 ドルと仮定した試算で、125 倍の差です。50 本の動画の品質テストでは、完全な推論能力を許された Astra を Flora がわずかに上回り、Claude Opus 5 は約 42 ドルのコストで両者を下回りました。コスト数値は実測ではなく試算で、Astra がルールベース採点と記述精度では依然優位など、NVIDIA 自身が但し書きを並べている点には注意が必要です。
— NVIDIA · The Decoder
際立つ能力は失敗検出です。Flora-Rewarder はエピソード途中の失敗ステップを 53.3% 検出しました。競合モデルは最大でも 11.7%、Astra はゼロです。ただし通常ステップの約 11% を誤検知するトレードオフがあります。Flora はすでに GR00T ロボットモデルの学習で稼働しており、512 枚の GB300 GPU で 1 日最大 20 万時間の動画をアノテーションしています。フロンティアモデルのアノテーション料金に手が出なかったロボティクスチームにとって、セグメンテーション、キャプション、報酬シグナルを一つのスタックでカバーする公開パイプラインは、挑戦できる課題の規模を変えます。
🔗 GitHub: NVIDIA/Flora · NVIDIA on Hugging Face
6. Microsoft、約 6 万人の従業員に自願退職（バイアウト）を提示
Microsoft は 10 月 26 日、米英加印の 4 か国でレベル 70 以下の従業員を対象に自願退出パッケージを提示すると発表しました。対象はバイスプレジデント級にまで及びます。CNBC が関係者の話として伝えたところによると、対象者は約 6 万人で、同社の 22 万 3000 人の従業員の約 27% に相当します。回答は 12 月上旬までで、受諾者は 12 月 31 日に退職します。
— Microsoft · CNBC
チーフ・ピープル・オフィサーの Amy Coleman 氏はメモの中で、4 月に実施した初の自願退職プログラム（米国従業員の約 7% が対象、適格者の 30% 以上が参加）で得た経験を踏まえると説明しました。7 月には Xbox 事業を中心に 4800 人の削減を実施しています。今回の対象には、一部のデータセンターや営業・マーケティング部門など AI 推進に必要な組織は含まれず、今回は人数目標はないとしています。
— Microsoft · CNBC
背景には AI 投資による財務の圧迫があります。Microsoft の前四半期のフリーキャッシュフローは 196.4 億ドルと前年同期比 23% 減でした。それでもライバルの Alphabet や Amazon がマイナスのフリーキャッシュフローを計上する中でプラスを維持しています。同社は顧客への課金を AI 使用量ベースへ移す business model 転換の最中で、四半期決算は水曜日に予定されています。レイオフのサイクルを回避しつつ人員を調整できるのがバイアウトの利点ですが、労働力の 4 分の 1 に提示が届いた事実自体が再編の規模を物語っています。
7. Apple、iOS 27.2 でメモリー搭載の Siri AI を投入
Apple は 10 月 26 日、iOS、macOS、watchOS、tvOS、visionOS の 27.2 アップデートをリリースしました。中心は Siri AI です。アシスタントが過去の会話を記憶し、先週おすすめしたレストランを後から聞けるようになりました。応答の情報源も、ボイスメール、メッセージ添付の写真、カレンダーの参加者、Safari の履歴、読書リストへ拡大しています。新しい「除外アプリ」設定では、Siri・検索・候補がアクセスできるアプリを一箇所でブロックできます。
— Apple · Ars Technica
アップデートで Siri AI はフランス語、日本語、韓国語、ポルトガル語、スペイン語の 5 か国語に対応しました。ただし EU と中国本土では引き続き利用できず、Apple は EU 規制当局と今後の道筋を協議中とし、年末までに繁体字中国語などさらなる言語追加を予定しています。このほか、メッセージの文脈から夕食の誘いをカレンダー予定に変える候補表示や、写真アプリで AI 生成・加工画像を識別する SynthID ウォーターマーク検出にも対応しました。
— Apple · Ars Technica
方向性は明快です。Siri はコマンド解析器から個人コンテキストのエージェントへ変わりつつあり、Apple はその到達範囲の拡大と単一のプライバシー制御をセットにしています。気になるのは地域差です。最も進んだアシスタント機能が地理的に制限され、2 つの巨大市場のユーザーはまだ待つ状態が続きます。メモリー機能はデータガバナンスの難度も上げます。会話を覚え、ボイスメールを読むアシスタントは、忘れるアシスタントよりずっと魅力的な標的になるからです。
KD Agentic · AI Daily Digest