夕刊 2026年10月29日

Alphabet、FCF 赤字続きで起債・増資

今号の要点

1. Alphabet は第 3 四半期に設備購入に 513.55 億米ドルを使い、本業で得た現金 422.90 億ドルを上回った。同じ四半期に社債を発行し、株式も追加発行した。

2. Bloomberg はデータセンターの資金調達に関わる 30 人超を取材し、貸し手の融資が上限に近いとまとめた。Morgan Stanley のストラテジストによれば、最上位格付けのデータセンター債の利回りは年初の 5% 未満から 7% 近くに上がった。同じストラテジストによれば、資産証券化と商業用不動産担保証券の二市場では、今年の発行量がかろうじて前年に並んでいる。前年同期と比べたのか前年全体と比べたのかは、記事に書かれていない。

3. AI で数学の証明を扱う企業 Axiom は、約 100 人の数学者が何世代もかけて書いた 15,000 ページの証明を、24 日で機械が検査できるコードに書き直したと自ら述べた。第三者による照合はなく、独立したチームのビルド成功の報告もまだない。

ほかに中核 4：Google が Gemini 4 Carbon を発表した。

今日の中核

1. [今日] Alphabet の第 3 四半期は設備購入が本業の現金を上回り、フリーキャッシュフローはマイナス 90.65 億ドル、同じ四半期に社債 287 億ドルを発行し株式も追加発行した

2コマのコンセプトイラスト：左のコマでは、ALPHABET と書かれた丸い金庫の扉が開き、棚には袋と積み重なった硬貨が並んでいる。黒い上着に名札を下げた人物が大きな赤い袋を両手で支えており、袋は金庫の横にある黒いサーバーラックの上の傾いた板に載っている。左端のカウンターには小さなベージュの袋が置かれている。右のコマでは、ALPHABET と書かれた同じ金庫の棚が袋と硬貨で埋まっており、右側の開いた戸口に立つ名札を下げた人物が平台車の取っ手を握っている。台車には BONDS と SHARES と書かれたベージュの袋が二つ載っている。 — Alphabet は第 3 四半期に設備購入が本業の現金を上回り、同じ四半期に社債 287 億ドルと株式 124 億ドルを発行した。Alphabet の定義によるフリーキャッシュフローはマイナス 90.65 億ドルだったが、手元資金が約 2,650 億ドルあり、支払い不能を意味しない。本紙の推論：設備購入が本業の現金を上回る状態が続き、その差を社債と株式で埋めるなら、Alphabet の建設ペースは資本市場の条件に左右される。

なぜ重要か： 本紙の推論：設備購入が本業の現金を上回る状態が続き、その差を社債と株式で埋めるなら、Alphabet の建設ペースは資本市場の条件に左右される。

全文を読む → どう確かめたか →

2. [今日] Bloomberg の取材では、最上位格付けのデータセンター債の利回りが年初の 5% 未満から 7% 近くに上がり、貸し手は融資が上限に近いと語る一方、証券化債の二市場の発行量はかろうじて前年並み

なぜ重要か： 本紙の推論：データセンターの借り手はまだ借りられるが、借入コストは上がり、工事が遅れたときにテナントが契約から抜けられる条項を理由に、案件を断る買い手も出てきた。

全文を読む → どう確かめたか →

3. [今週]（研究ページ 10 月 26 日）AI 数学企業 Axiom は、15,000 ページの証明を 24 日で機械が検査できる Lean のコードに書き直したと述べ、推論の検査は機械、定理が正しく書かれたかの確認は人が担う

舞台を描いたコンセプトイラスト。左側には「PROOF」と書かれた黒いラベルの付いた赤い紙の高い山があり、数枚の紙が上から右へ舞っている。中央上部には赤白の鋭角的なマークと「AXIOM」の文字が入った黒い看板が掲げられ、その下の台には何列ものノートパソコンが並び、どの画面にも線の入った吹き出しが表示されている。右側には「LEAN」と書かれた台の上に横棒が何行も並ぶ大きなモニターがあり、黒い服で首から名札を下げた人物が片手で画面に触れていて、右端には暗い色の幕がある。 — AI で数学の証明を扱う企業 Axiom は、有限単純群をすべて一覧にした分類定理の約 15,000 ページある既存の証明を、AI エージェント群を使って 24 日で、定理証明支援系 Lean が一歩ずつ機械で検査できるコードに書き直したと述べた。推論の検査は Lean が担い、主定理の記述と定義が元の定理を正しく表しているかは今も人が確かめる。以上はすべて Axiom の説明で、独立したチームによるビルド成功の報告はまだない。

なぜ重要か： 本紙の推論：既存の証明を Lean に移す作業は速くなり、人が確かめるのは定理そのものが正しく書かれているかになる。

全文を読む → どう確かめたか →

4. [今日] Google は Gemini 4 Carbon を発表し、サイバー防御側に先に渡してから開発者に開放するが、Artificial Analysis での首位も安全性の点数も Google の自己申告だ

コンセプトイラスト：3つの窓があるベージュの店先の壁で、上部では赤・黄・緑・青の文字Gが線でGOOGLEと書かれた看板につながり、中央の窓ではGEMINI 4 CARBONと書かれた看板が線でカウンター上のノートパソコンにつながり、画面には灰色の線が入った吹き出しが映り、茶色のセーターとベージュのズボンの短髪の人物がキーボードを打ち、カウンターの下には白紙の札が下がっている。左側ではCYBER DEFENDERSと書かれた看板が2本の黒いポールの片方に線でつながり、右側ではDEVELOPERSと書かれた看板がつながったポールともう1本のポールの間に赤いロープが張られ、その後ろで白いトップスと濃い色のズボンの長髪の人物がカウンターの方を向いて立っている。 — Google は 10 月 28 日にフロンティアモデル Gemini 4 Carbon を発表し、今週から一部のサイバー防御側にだけ渡して、開発者、企業、消費者には後で開くとした。第三者評価機関の指数での首位も安全性の点数も Google の自己申告で、競合の名は出ていない。本紙の推論：開発者に開放する日がブログに書かれていないため、開発者や企業が実際に使える時期は発表日より後になる。

なぜ重要か： 本紙の推論：Google はこのモデルをまず一部のサイバー防御側にだけ渡し、開発者への開放日は決めていないため、実際に使える時期は発表日より後になる。

全文を読む → どう確かめたか →

チップと半導体

1. [今日] NVIDIA は RTX Spark のノートパソコンで、使う人が GPU を裏で動く AI エージェントと手前のアプリに振り分けられるようにしたが、振り分けの効果を示す数字はない。

コンセプトイラスト：机の上に開いたノートパソコンがあり、画面では灰色の文字線が並ぶ「AI AGENT」という見出しのウィンドウに、同じく灰色の文字線が並ぶ別のウィンドウが手前から一部重なり、右上のパネルにはマウスポインターが乗った赤いチップのアイコンと「GPU」の文字がある。画面下の黒い帯には「RTX SPARK」と「NVIDIA」の文字とその間の緑の図形があり、濃い色の袖の手が右から伸びてタッチパッドに置かれている。 — Blackwell 世代の RTX GPU と Grace CPU を一つのスーパーチップに収めた Windows ノートパソコン基盤 RTX Spark で、NVIDIA は使う人が GPU を前面のアプリと裏で長時間動く AI エージェントに振り分けられるようにしたが、NVIDIA のブログには振り分けの効果を示す数字がない。本紙の推論：裏で長時間動く AI エージェントが、パソコンのドライバー層が割り振るべき処理になった。

全文を読む → どう確かめたか →

目利きの読み

1. [今日] ゲストの Cliff Sosin 氏によれば、「安くなるほど多く使われる」という Jevons のパラドックスは需要曲線の上の一点にすぎず、値下げが行き過ぎると市場はかえって縮む。

からし色の背景に、白黒ストライプの日よけを付けた4つの屋台が横一列に並ぶコンセプトイラストで、各屋台ではエプロン姿の売り手が白い箱の山の間に立ち、前の赤いトレーのうち左の3つには硬貨のような丸い円盤が積まれ、右端のトレーには円盤が見当たりません。屋台の前には円盤を掲げたり白い箱に手を伸ばしたりする人々の小さな列があって右端の屋台の列が最も長く、屋台の左右には大きな黒い引用符、下部には右下から伸びて手のひらを上に向けた大きな黒いシルエットの手が白いシャツの袖口とともに描かれています。 — 投資の対談番組の司会者 O'Shaughnessy 氏が X で引いたところでは、ゲストの Cliff Sosin 氏は、「安くなるほど多く使われる」という Jevons のパラドックスは需要曲線の一点にすぎず、値下げが行き過ぎれば市場はかえって縮むとみるが、データは示していない。本紙の推論：Sosin 氏の見方が正しければ、利用量が増えても計算資源の売上総額は縮みうる。

全文を読む → どう確かめたか →

研究とモデル

1. [今週]（プレプリント、arXiv 2610.37283）シュトゥットガルト大学の BenchMeUp は、検証ループを持つエージェントの手順で自然言語の仕様からソフトウェア工学の評価問題を作り、作った 198 問のうち 91% が著者の点検で全項目合格だった。著者が対照に走らせた汎用エージェント Codex は、同じく 200 問を目標にして合格は 5% だった。

コンセプトイラスト：上部に大きな「BENCHMEUP」の文字があり、その下に枠付きの二段の棚がある。上段の左には「BENCHMEUP」と書かれた赤いノートパソコンと灰色の横線が描かれた紙4枚が並び、手前に黒い甲虫のような虫の絵のカードが1枚斜めに立てかけられている。下段の左には「CODEX」と書かれた黒いノートパソコンと、それぞれ黒い甲虫のような虫が描かれたカード4枚が並び、手前に灰色の横線が描かれた紙が1枚斜めに立てかけられていて、右端では暗い色の髪で灰褐色の上着を着た人物が後ろ姿で棚の方を向いている。 — シュトゥットガルト大学の著者のプレプリントによれば、検証ループを持つエージェントの手順でソフトウェア工学の評価問題を作る BenchMeUp は、作った 198 問のうち 91% が著者の点検で全項目合格し、著者が対照に走らせた汎用エージェント Codex は 5% だったが、Codex に渡した仕様、予算、検証ループが同じだったかは要旨に書かれていない。本紙の推論：要旨にある一問平均 0.79 米ドルの費用が各社の課題でも保たれるなら、社内の評価問題を作る費用は一問あたり一ドル未満に下がりうる。

全文を読む → どう確かめたか →

2. [今週]（プレプリント、arXiv 2610.37459）M4Bench の八問の対照用部分集合では、エージェントの得点の上積みの大半は仕様を完全に書くことから来ていた。実行できる仕様で得点は 0.162 上がり、スキルパックを足しても 0.024 しか上がらず、この上積みは統計的にゼロと区別できない。

コンセプトイラスト：両手が両端の巻かれた巻物を広げて持ち、上部の黒い帯に M4BENCH と書かれている。巻物には机が2台並び、どちらの机にも画面が黒い開いたノートパソコンがあり、その上に空の吹き出しが浮かんでいる。左の机ではパソコンの横に SPEC と書かれたベージュの箱が立ち、右の机ではパソコンの横に SPEC と書かれたベージュの箱と、それより大きく SKILL PACK と書かれた赤い箱が並んでいる。 — プレプリントの要旨によれば、臨床の電子カルテから作った課題でエージェントを採点する M4Bench の八問の対照では、得点の上積みの大半は仕様の完全さから来て、スキルパックの寄与は小さすぎて測れなかった。参照解答との部分一致度でみた得点は実行できる仕様で 0.162 上がり、スキルパックを足しても 0.024 しか上がらなかったが、八問しかなく、差が測れないことは差がないと確定したことにはならない。

全文を読む → どう確かめたか →

3. [今週]（プレプリント、arXiv 2610.35971）コーディングエージェントの軌跡 147,002 件を調べた研究では、途中の時点で失敗する試行を見分けられなかった。2 万トークンの時点で、同じ問題のどの試行が失敗するかの判別は当て推量と変わらない。224 設定のうち 216 では、途中でやり直すより最後まで動かすほうが多く解け、トークンも少なかった。

コンセプトイラスト：都市のスカイラインが見える窓の前に机が2台並び、右上には淡いピンクの円があり、各机のノートパソコンは画面に吹き出しを表示し、TOKENS と書かれた紙を送り出している。左側では濃い色のスーツの袖の手が赤いはさみで紙を切り、切れた紙片が床に積み重なっている。右側では紙が切られずに机から床へと長く伸び、机の上のノートパソコンの横に赤いはさみが置かれている。 — コーディングエージェントの軌跡を調べたプレプリントの研究では、224 設定のうち 216 で、途中でやり直すより最後まで動かすほうが多く解け、トークンも少なかった。「様子がおかしければ止めてやり直す」という計算資源の節約規則は、コーディングエージェントではかえって費用を増やしうるが、使われたモデルと問題集は論文の要旨に書かれていない。

全文を読む → どう確かめたか →

プロダクト動向

1. [今日] Microsoft は自社のエージェント用ハーネスを Foundry Agent Service のマネージドサービスとして公開プレビューにし、12 月 1 日からはエージェントがサンドボックスで使う計算を時間単位で別に課金する。

コンセプトイラスト：淡い緑の背景に立つ薄いグレーのパネルには、オレンジ・緑・青・黄の四色の正方形アイコンと「MICROSOFT FOUNDRY」の文字、その下に「COPILOT HARNESS」と書かれた青い帯があり、左の列には段ボール箱、レンチ、吹き出し付きの小さなウィンドウ、分岐記号の入った書類のアイコンが縦に並ぶ。中央には灰色の線入りの吹き出しを収めた「MODEL」パネルと「SANDBOX」パネルが上下に並び、2本の青い弧状の矢印がその間を循環するようにつなぎ、右端の2つのフックには上に灰色のタグ、下に赤いタグが掛かっていて、右から伸びた手が赤いタグの紐をつまんでいる。 — Microsoft は、エージェントのループとサンドボックスを Microsoft が動かす Copilot harness を、エージェント実行サービスの Foundry Agent Service で公開プレビューにし、12 月 1 日からはサンドボックスの計算を vCPU 時間で別に課金する。エージェントの費用はトークンに加えて計算時間の課金が乗り、長く動くほど重くなるが、性能と自作ハーネスとの比較を Microsoft は示していない。

全文を読む → どう確かめたか →

2. [今日] Slack は、エージェントが一つの作業のために専用チャンネルを開く Slack Code API をすべての開発者に正式公開した。8 月の時点では Anthropic、Cognition、GitHub、Vercel など一部のパートナーしか使えなかった。

コンセプトイラストで、横に並んだ二つのアプリ画面の下にはそれぞれ多色のアイコンと「SLACK」の文字が入った白いプレートがあり、灰色の矢印が左の画面から右の画面を指し、各画面には「#」の行が並ぶサイドバー、三つのアバター行、文書アイコン、チェックリストがある。左の画面では八行のうち四行が赤く、そこから点線が「PARTNERS」と書かれた台の上の、吹き出しアイコンを表示した濃い色のノートパソコン風の端末四台へ延び、その隣の文字のない台には色付きの端末が四台並び、右の画面では十行が赤く（三行は塗りつぶし、七行は赤枠のみ）、「#」のタグから破線の矢印が灰色の箱へ向かい、点線が各行から「DEVELOPERS」と書かれた台の上の端末八台へ延びている。 — Slack は、8 月の時点では Anthropic、Cognition、GitHub、Vercel など一部のパートナーしか使えなかった Slack Code API をすべての開発者に正式公開し、どの開発者のエージェントでも作業ごとに専用チャンネルを開けるようにした。本紙の推論：作業途中のエージェントの進捗と人が見るべきものを、チームがすでに使う Slack のチャンネルにそのまま残せる。

全文を読む → どう確かめたか →

過去の洞見

1. [振り返り]（本紙 10 月 22 日の深掘りレポート）AI 安全の分野はモデルの推論の下書きを読んで問題を見つけており、本紙の深掘りレポートは、関連する規範をモデルの構造ではなく測れる結果に結び付けるべきだとした。

コンセプトイラスト：白い結び目状の紋章と「OPENAI」の文字が入った黒い横断幕の下、長い机の左端に「MONITOR」と書かれた黒い箱があり、その上には吹き出しを映した傾いた画面が載っている。そこから「DRAFT」と書かれた丸まった紙が机の中央の大きな黒いノートパソコンまで延び、その画面には「GPT-6 ASTRA」とあり、背後に淡いピンクの円がある。右側では黒い服で名札を下げた人物が椅子に座り、ノートパソコンにケーブルでつながったキーボードを打っている。机の下では灰色のシュートがノートパソコンの下から、黒い虫のアイコンが付いた床の上の赤い箱へ斜めに伸びている。 — 本紙の 10 月 22 日の深掘りレポートは、モデルが答える前に書き出す推論の下書きを読んで不正を見つける AI 安全の監視について、調達条件と規制の規範はモデルの構造ではなく測れる結果に結び付けるべきだとした。本紙の推論：監視を避けるよう指示されたモデルがどれだけ捕まるかを測ったのは OpenAI だけで、AI の調達条件を書く企業や規制当局が使える数字は OpenAI の自己申告しかないのが現状だ。

全文を読む → どう確かめたか →

そのほかに起きたこと

1. 本紙は未検証：[今日] OpenAI と ServiceNow は提携を広げたが、今日使えるようになったのは ChatGPT の中の ServiceNow の MCP プラグインだけで、ほかの機能は 2026 年末と 2027 年に予定されている（OpenAI、2026-10-28）。

2. 本紙は未検証：[今日] ServiceNow は 2026 年の AI 契約の年額目標を、年初の 10 億米ドルから 17 億ドルに引き上げた。エージェント型 AI の本番での消費量は前年比 13 倍超だという。数字は X に投稿された決算の要約による（Patrick Moorhead、X、2026-10-28）。

3. 本紙は未検証：[今日] Anthropic の AI for Science は、これまで Claude の無料利用枠を個々の科学者に直接配っていた。今後は米国立科学財団（NSF）、Simons 財団など 20 の財団と研究機関が研究者に配るか、機関の中で使う形に改める。金額は書かれていない（Anthropic、2026-10-28）。

4. 本紙は未検証：[今日] Google は、Android の端末上で推論を動かす実行層 LiteRT の GPU 経路を Play services に移し、NNAPI を 2027 年から外すと発表した。Google の自社測定では、新しい GPU 経路の速さは旧来の TFLite の GPU アクセラレーションの約 1.4 倍である（Google、2026-10-28）。

5. 本紙は未検証：[今日] NVIDIA は、40 の言語に対応するオープンウェイトの音声書き起こしモデル Nemotron 3.5 Transcribe を発表した。Hugging Face の Open ASR ランキングで首位というのは NVIDIA の説明である（NVIDIA、2026-10-28）。

区分ごとの内訳は次のとおり。SNS 投稿は 137 件のうち読了 69 件、除外 68 件。学術論文は 115 本のうち読了 52 本、除外 63 本、読む前に除外 4 本。別経路で入った論文（上の学術論文とは別に数える）は 50 本のうち読了 8 本、除外 9 本、手つかず 33 本。企業と個人のブログは 47 本のうち読了 21 本、除外 15 本、登録のみで精読しない理由を記載 10 本、再取得中 1 本。企業の開示書類は 9 件のうち 6 件を読み、3 件を除いた。Microsoft 3 件、Equinix 2 件、Vertiv 2 件、Alphabet 1 件、Oracle 1 件の臨時報告書で、今日の中核 1 が使った Alphabet の 1 件もこの中にある。購読ニュースレターは 6 本のうち読了 5 本、除外 1 本。番組の書き起こしは 2 本のうち読了 1 本、除外 1 本。昨夜取得した X のオリジナル投稿は 374 アカウントの 578 件で、上の 137 件とは数え方が別で、比率の計算には使えない。@teortaxesTex の 1 アカウントだけで 578 件のうち 90 件を占め、次いで @TheStalwart、@pstAsiatech、@elonmusk、@tobi である。番組は Gooaye 股癌、Latent Space、Cognitive Revolution、ニュースレターは Latent Space、Interconnects、Newcomer、Stratechery、The Zvi で、この 5 誌の記事は今日はどの条目にも入っていない。今日の中核を支えた材料のうち、Bloomberg の記事と Axiom の研究ページとコードは本紙が定期取得の外で探しに行った資料で、Alphabet の届け出と Google のブログは定期取得から来た。本号は Alphabet（傘下の Google を含む）と Microsoft の二社の自社文書が中心で、Alphabet と Microsoft の決算は互いに独立した一次資料、Google の Carbon のブログは同社自身の説明である。

あとから補った古い資料。 今日、新たに補った古い資料はない。研究とモデル欄のプレプリント三本は、どれも昨夜の学術論文 115 本の中にある。

本号で確認できていないこと。 判断を最も左右するのは、Bloomberg の記事にある 18 件のデータセンター向け融資の名前と母数で、記事の引用には並んでいない。Alphabet の届け出は、Google Cloud の伸びのうち TPU システムの販売が占める割合を示していない。Microsoft の決算説明会の書き起こしと、ファイナンスリースを含む設備投資の総額は、本号の資料の決算発表文にない。Microsoft の臨時報告書 3 件の記載内容は、本号の判断に入っていない。Axiom の 34 か所の食い違いの正誤表と、Lean のコミュニティやほかの独立したチームのビルド報告は、まだ出ていない。Artificial Analysis のランキングページと Carbon の二位の点数は、本号の根拠が Google のブログと Pichai 氏の投稿だけである。Interconnects が 10 月 28 日に Artificial Analysis の指数の改訂を論じた記事の内容は、本号の判断に入っていない。研究とモデル欄のプレプリント三本と、そのほかに起きたことにある ServiceNow の数字の根拠は、それぞれ論文の要旨と X 上の決算要約である。総務省の AI リスク作業部会とデジタル庁の会議資料三件の内容は、本号の判断に入っていない。

本紙が追っているソース。 長期の追跡リストには現在、発信者が特定できる追跡対象が 529 あり、SNS 302、番組 90、ニュース 51、ブログ 48、論文の著者 48、ニュースレター 46 で、残りは決算や基調講演などの経路に散らばる。同じ対象を複数の経路で追っていることがあり、経路ごとの数を足すと 529 を超える。これは追跡対象の数で、上の本数と足し合わせることはできない。昨夜実際に取得した 374 アカウントも、リストにある SNS の 302 とは母集団が違う。代表的な名前は、SNS では Daniel Kokotajlo、Sergey Levine、Arvind Narayanan、Chris Lattner、ニュースレターでは Dean Ball、Zvi Mowshowitz、Miles Brundage、Jamin Ball、ブログでは Terence Tao、Lilian Weng、Nicholas Carlini、論文の著者では Tri Dao、Song Han で、番組のリストには Sam Altman、Dario Amodei、Demis Hassabis らの出演者がいる。本号の本文で使った外部ソースのリンクは 27 件で、本文で実際に引いたもののうち本紙自身のドメインでないものだけを数えた。この 27 件は 529 の追跡対象とは別の数である。台湾側のソースは 9 月に 7 件を新たに収め、累計 139 件である。台湾のメディア、台湾企業の公式発表、台湾の現地記者を数え、台湾メディアを引用した海外メディアは数えない。

訂正：10 月 28 日号は、Anthropic の上場申請書 S-1 には支払い義務の総額しかなく、初版に年ごとの支払額はないと書いた。実際には S-1 の注記 13 に年ごとの表があり、2025 年末時点で一年を超える解約不能の購入コミットメントは計 545.59 億米ドル、最も多いのは 2027 年の約 111 億ドルである。年ごとの額がないのは、6 月末時点の約 2,656 億ドルの支払い義務と、同じ日時点で契約済みでまだ始まっていない約 3,214 億ドルのリースだ。同号の「年およそ 350 億ドルという数字は S-1 と合わない」という判断は変わらない。サイトの保存ページにも訂正を加えた。

本記事は日本語版・英語版・中国語版と同一の調査と判断にもとづいて書かれています。出典にはリンクを付け、原文書と報道を区別し、確かめられなかった点を明記しています。

本紙はニュースのまとめではありません。AI を使って分野横断で一次情報を読み、判断には原文の出典を添え、誤りは訂正ページで公表します。焦点は、どの変化がすでに起きていて、どの主張にまだ裏付けが足りないかであって、今日何が起きたかではありません。