夕刊 2026年10月29日
「そのほかに起きたこと」以外の各記事をどう確かめたか
根拠まで確かめたい方はこのページへ。何が起きたかだけ知りたい方は「今日」へ。
本号の材料は 10 月 28 日から 29 日早朝のもので、研究とモデル欄には 10 月下旬のプレプリントが別に三本ある。昨夜は新たに 366 本が入り、本号の本文ではリンクをたどれる外部のソースを 27 件使った。後ろの各欄にはこの一週間の材料もある。
1. [今日] Alphabet の第 3 四半期は設備購入が本業の現金を上回り、フリーキャッシュフローはマイナス 90.65 億ドル、同じ四半期に社債 287 億ドルを発行し株式も追加発行した
まだ言えないこと： マイナスは支払い不能を意味せず、手元資金は約 2,650 億ドルある
どう確かめたか
Alphabet の数字は SEC に出した 8-K の原本にあり、一次資料である。社債の発行、株式の追加発行、自社株買いの停止の数字は、同じ届け出のキャッシュフロー計算書と四半期の補足情報の段にある。フリーキャッシュフローは Alphabet が独自に定義した数字で、株式報酬を差し引いていない。手元の現金と有価証券の約 2,650 億ドルも同じ届け出にある。Microsoft の Azure と設備購入の現金支出の二つの数字は、同社の投資家向けページの決算発表文にある。「予想を下回る」「リース中心で借り入れはまだ」は Moorhead 氏の説明で、約 460 億ドルの市場予想は @wallstengine の集計である。どちらも発表文にはない。同じ日の二社の決算は互いに独立した一次資料で、それぞれ別の会社のことを述べており、互いの裏付けにはならない。
2. [今日] Bloomberg の取材では、最上位格付けのデータセンター債の利回りが年初の 5% 未満から 7% 近くに上がり、貸し手は融資が上限に近いと語る一方、証券化債の二市場の発行量はかろうじて前年並み
まだ言えないこと： 30 人超の取材先の多くは匿名で、上限に近いとの見方は記者のまとめ
どう確かめたか
これは Bloomberg 一社の独自記事で、主な引用と数字は記事の原文にある。Bloomberg が独自にまとめたデータと、Campbell 氏、Roberts 氏らの発言だ。30 人超の取材先の多くは匿名で、「信用市場が受け止められる資金は上限に近い」は記者のまとめの文であり、取材先の誰かが測った数字ではない。記事は背景として、債券市場は独自の売上を持たない事業者にはほぼ閉ざされたという Musk 氏の 10 月 25 日の発言を引いている（Musk、X、2026-10-25）。このため Musk 氏の投稿は二つ目の出典にはならない。
3. [今週]（研究ページ 10 月 26 日）AI 数学企業 Axiom は、15,000 ページの証明を 24 日で機械が検査できる Lean のコードに書き直したと述べ、推論の検査は機械、定理が正しく書かれたかの確認は人が担う
まだ言えないこと： すべて Axiom 自身の説明で、独立チームのビルド成功報告はない
どう確かめたか
研究ページと GitHub の説明ファイルはどちらも Axiom 自身の文書で、一次資料だが自己申告である。Axiom の投稿は EleutherAI の CEO、Stella Biderman 氏が引用して広めた。Biderman 氏は、Axiom から事前に宣伝を頼むメールを受けたと自ら明かしている（Biderman、X、2026-10-27）。OpenAI の最高プロダクト責任者 Kevin Weil 氏は、この成果にもはや疑いの余地はないとの趣旨を書いたが、紹介者による上乗せである（Weil、X、2026-10-27）。二人とも独立した照合ではない。公開されている材料は Axiom 自身の文書とこの二つの紹介だけで、Lean のコミュニティ、Lean で形式化した数学の定理を集めるライブラリ Mathlib の保守担当者、ほかの独立したチームは、まだビルドの結果を公表していない。
4. [今日] Google は Gemini 4 Carbon を発表し、サイバー防御側に先に渡してから開発者に開放するが、Artificial Analysis での首位も安全性の点数も Google の自己申告だ
まだ言えないこと： 首位も安全性の点数も Google の自己申告で、競合の名はない
どう確かめたか
ブログ全文は Google 自身の説明で、一次資料だが自己申告である。同じ日の Pichai 氏の投稿は同じ会社のもので、二つ目の出典にはならない。Artificial Analysis の指数は第三者のランキングだが、59 点と首位の根拠は Google のブログと Pichai 氏の投稿である。Pichai 氏の投稿によれば、この指数は最近改訂された v5.0 で、旧版の点数とは並べられない。社内ベンチマークの方法は公開されていない。Chrome チームは修正の品質がほかのラボのフロンティアモデルより 10 倍以上よいと述べたが、相手の名前も指標の定義も示していない。
[今日] NVIDIA は RTX Spark のノートパソコンで、使う人が GPU を裏で動く AI エージェントと手前のアプリに振り分けられるようにしたが、振り分けの効果を示す数字はない。
どう確かめたか
[今日] ゲストの Cliff Sosin 氏によれば、「安くなるほど多く使われる」という Jevons のパラドックスは需要曲線の上の一点にすぎず、値下げが行き過ぎると市場はかえって縮む。
どう確かめたか
[今週]（プレプリント、arXiv 2610.37283）シュトゥットガルト大学の BenchMeUp は、検証ループを持つエージェントの手順で自然言語の仕様からソフトウェア工学の評価問題を作り、作った 198 問のうち 91% が著者の点検で全項目合格だった。著者が対照に走らせた汎用エージェント Codex は、同じく 200 問を目標にして合格は 5% だった。
どう確かめたか
[今週]（プレプリント、arXiv 2610.37459）M4Bench の八問の対照用部分集合では、エージェントの得点の上積みの大半は仕様を完全に書くことから来ていた。実行できる仕様で得点は 0.162 上がり、スキルパックを足しても 0.024 しか上がらず、この上積みは統計的にゼロと区別できない。
どう確かめたか
[今週]（プレプリント、arXiv 2610.35971）コーディングエージェントの軌跡 147,002 件を調べた研究では、途中の時点で失敗する試行を見分けられなかった。2 万トークンの時点で、同じ問題のどの試行が失敗するかの判別は当て推量と変わらない。224 設定のうち 216 では、途中でやり直すより最後まで動かすほうが多く解け、トークンも少なかった。
どう確かめたか
[今日] Microsoft は自社のエージェント用ハーネスを Foundry Agent Service のマネージドサービスとして公開プレビューにし、12 月 1 日からはエージェントがサンドボックスで使う計算を時間単位で別に課金する。
どう確かめたか
エージェントの費用にはトークンに加えて計算時間の課金が乗り、長く動くほど重くなるが、性能と自作ハーネスとの比較を Microsoft は示していない。
[今日] Slack は、エージェントが一つの作業のために専用チャンネルを開く Slack Code API をすべての開発者に正式公開した。8 月の時点では Anthropic、Cognition、GitHub、Vercel など一部のパートナーしか使えなかった。
どう確かめたか
Slack の自己申告で、期間、測り方、追加料金の有無は書かれていない。
[振り返り]（本紙 10 月 22 日の深掘りレポート）AI 安全の分野はモデルの推論の下書きを読んで問題を見つけており、本紙の深掘りレポートは、関連する規範をモデルの構造ではなく測れる結果に結び付けるべきだとした。
どう確かめたか
AI の調達条件を書く企業や規制当局が使える数字は、現状では OpenAI の自己申告しかない。OpenAI 自身のシステムカードによれば、監視を避けるよう指示されたモデルに対し、推論の下書きだけを読む監視器は、ある評価で 11% 未満しか捕まえられず、別の評価では一度も捕まえられなかった。
ソースと棚卸し
過去 24 時間。 10 月 28 日から 29 日の新規は 366 本である。このうち精読は 162 本、主題と関係ないとして除いたのは 160 本（うち 4 本は読む前に除外）で、33 本が手つかず、10 本は登録だけして精読しない理由を書き、1 本は再取得中である。