夕刊 SecondSource 夕刊・2026/7/30 · 2026年7月30日
今号の素材は 2026-07-30 付の調査夕刊。今日の新しい出来事の時間幅は 07-13〜07-29。ほかに 2026 年 1 月の素材が 14 件ある(狙い撃ちの裏取り 1 件+ポッドキャストの振り返り 13 件、いずれも初出の年月を明記した)。昨夜の定例スキャンで新規に入ったのは 88 本(ブログ 44 本／ポッドキャストの書き起こし 24 本／企業の提出書類 13 本／ニュースレター 7 本)、X の入口では 380 アカウントのオリジナル投稿 592 件 → 日中に精読したのが 5 本と狙い撃ちの裏取り 1 件 → 収録判断は 12 件。ソース集中度を先に断っておく。今日のニュース側の一次の出どころは、OpenAI 社長 Brockman の同じ日の投稿に集まっている(うち予想を解いた件は、解いた本人の一次の blog へ錨を打ち直した)。振り返り側の 13 件はすべて同じ台湾のポッドキャスト司会者から出ている。今号は構造的にソースが集中した日であり、語気も検証の注記もこの現実のとおりに書いた。今週の名前のある論考は Brockman が担っており、すでに今日の中核へ入っているため、目利きの読みの欄は別に立てない。自動集計レポートは 5 日連続で走っておらず、上記の数字は調査夕刊をバッチごとに手作業で突き合わせた口径である。
これは今号の完全版(公式サイトの保存正本)であり、全項目を全文で展開している。メール版は毎日の中核 3 本を全文、残りを 1 行要約にした短縮版であり、「全文」をたどればこのページに戻る。2 書式の並行トライアルは 4 日目(全 2 週間)。文末にワンクリックの返信口を置いた。
まず出来事そのものから。Rutgers 大学統計学部の教授 Guanyang Wang は 07-13、個人の blog でこう自述した——ChatGPT 5.5 Pro を使って、1997 年の Kannan–Tetali–Vempala(KTV)予想の証明を生成した(著者の blog、一次)。KTV 予想は確率論で 30 年近く宙に浮いていた問題であり、「ランダムな交換によるシャッフル」がどれだけ手数を踏めば混ざりきったといえるか、その数学的な境界を問う。今回の流れは検証を三度通っている。モデルが証明を生成する。次に OpenAI のコーディング代理ツール Codex が、その証明を 7 万〜8 万行(再構成後の行数)の Lean のコードへ書き換える——Lean は形式化証明の言語であり、チェックを通ることは各推論ステップに誤りがないと機械が確かめたことに等しい。ただし「問題の翻訳が正しかったか」は保証しないし、学術誌の査読の代わりにもならない。最後に Wang と共著者 2 人が 1 行ずつ人手で点検した。結論は、証明は成立し、しかも定理は元の予想より強い。成果はすでに arXiv へ上がっている(論文、2026-06、Lean のライブラリつき)。著者は自ら限界も書いている。モデルは文献の引用を落とす、人間が精読しなければならない——これは自律的な AI 研究ではなく、専門家が操縦する道具立てである。なぜこの件を力を入れて記録するのか。3 週間前、GPT-5.6 の公開から 48 時間のうちに、OpenAI の周辺では「64 個の AI 代理が 1 時間で、50 年宙に浮いていたグラフ理論の難問 Cycle Double Cover 予想を証明した」という話が流れた(当時の AINews のまとめ、2026-07)。拡散させたのは同じく OpenAI 社長の Greg Brockman であり、その主張は今日に至るまで外部の点検を 1 つも通っていない。同じ路線のもう一方では、DeepMind 系のチームが 2026-05 に、「モデルが証明を生成し Lean が機械で検証する」やり方で数学者 Erdős が遺した未解決問題を系統的にさらい、353 題のうち 9 題を自力で解いてみせている(論文)。2 つのラボのモデルがどちらも通っている。これは 1 社だけの現象ではない。
帰属のほうは別に 1 件立てて記録する。著者の blog には「I used ChatGPT 5.5 Pro to obtain a proof」と明文で書かれている。ところが Brockman が 07-29 に拡散したときには「5.6 for solving another longstanding open problem」となっていた(拡散した投稿)。バージョン番号 0.1 の差は、ちょうど新旗艦 GPT-5.6 の公開日(2026-07-09)をまたぐ——そして解いたのはその前(2026-06)である。
検証: 解法の流れも行数も、すべて著者本人の一次の自述から出ている。著者 3 人による点検はチームの自己申告である。証明は学術誌の査読を経ておらず、Lean の検証も第三者による再実行を経ていない。いま見えているソースはこれ 1 つであり、方向は信用できるが細部は留保する。バージョン帰属の一節について。Brockman が引いた原文(Wang 本人の X 投稿)は直接読めておらず、著者が後から 5.6 も使ったと補足した可能性を完全には排除できない。ただし読める一次の材料 2 つの口径は、現時点で合っていない。本紙は著者の口径を正とする。
判断更新: 「AI がある数学の難問を解いた」型のニュースには、今日から使える分類器がある。3 つを問えばよい——言い出したのは誰か(独立した学者か、利害のある側か)、機械で検証できる形式化があるか、著者は点検したか。KTV の件は 3 つとも通り、Cycle Double Cover の件は今日まで 1 つも通っていない。あわせてバージョン帰属も定例の点検へ入れる。手柄が新旗艦の側へ記録されるこの種のインフレは、最新モデルを系統的に過大評価させる。今号時点の現況:証明の学術誌の査読も、Lean の第三者による再実行も、まだ起きていない。
〈予想を解いたのはラボではなく、それを使う側の人間である〉と併せて読む——同じ日、同じ拡散者であり、しかも同じく新旗艦の物語へ寄せている。評価には同じ割引の物差しを当てる。Brockman は 07-29 にもう 1 本投稿し、OpenAI は GPT-5.6 Sol を使って自社の production serving の効率を改善しており、それが「この価格性能比を実現できている方法のひとつ」だと述べた(原投稿)。serving の効率とは、推論設備が同じハードウェアからより多くの有効な出力を絞り出す工学を指す——バッチのスケジューリング、精度の圧縮、キャッシュの設計——トークン 1 つあたりのコストを直接決める工程である。背景として、2 週間前に彼は GPT-5.6 Sol の売り込みの主軸を「どんなタスクにも最良の価格を」に置いた。当時はスローガンだけで、反例を公募し、何を根拠にそれができるのかは言わなかった(位置づけの宣言投稿、07-15、価格効率の数字の投稿)。今日は、彼が自分でその答えの半分を埋めた形である。この一言を真面目に受け取る理由は、推論効率のエンジニアが業界で稀少な人材だと公認されているからである。今年 6 月以降、実務家のあいだでは「同じ GPU でこの種の工学によって数十倍のユーザーを捌けた」という自己申告の事例がいくつも流れており、Lamini の CEO Sharon Zhou は AI 代理に GPU のカーネルを最適化させる道具をオープンソースで公開さえしている(Sharon Zhou の X;投資家 Nathan Benaich による伝聞、両者は互いに無関係である)。
検証: 単一ソース、利害のある側の自陳、数字はゼロである。効率がどれだけ上がったのか、具体的に何をしたのか(スケジューリングか、精度か、キャッシュか)、いずれも示されていない。「方法のひとつ」というのも本人の言い方である。「使っている」と「使ってどれだけ効いた」は別の話であり、今日錨を打てるのは前者だけである。
判断更新: 本当なら、推論コスト競争のボトルネックは「効率エンジニアの奪い合い」から「どこのモデルが自分で自分を改善できるか」へ移る——堀がチームからモデルの自己利用権へ引っ越す。見るべきシグナルは、OpenAI の工学側がいつ突き合わせ可能な数字を出すかである。それまでこの 1 件は「利害のある側の主張」として留保する。
本紙 2026/7/29 号(〈保証する側が下げ、保証される側が上げた——同じ日、同じニュースで、市場は立ち位置ごとに勘定を分けている〉、保存版)は、循環融資の値付けの計器を債券市場へ向けた。今日は半年前の帳簿を 1 つ調べ終える。結論は同じ方向である。半導体の独立系リサーチのニュースレター Fabricated Knowledge の Doug O'Laughlin は、2026-01-07 の年間展望に「AI の物語がレバレッジを手にした」ことを示す 4 つの鍵となる数字を書き留めた(元の記録)。当時はこの 1 つしかソースがなかった。今日、1 項目ずつ表に当てる。①OpenAI が投資家へ自己申告した、2029 年までの累計キャッシュ消費およそ 1,150 億ドル——年間の燃焼額ではなく累計の見込みである(The Information の原報道、CNBC 転載、2025-09)。②OpenAI と Oracle の 3,000 億ドル・5 年のコンピュート契約(2027-2031 に履行)は確認できた。③元の記録は Oracle が「4 年で 1,000 億ドルを借りた」と書いている——裏取りの結果、ここは訂正が要る。それは投資銀行 KeyBanc のアナリストの試算であり、契約を履行するには新たにおよそ 1,000 億ドル(年およそ 250 億ドル×4 年)の起債が「必要になりうる」というものである。将来の必要であって、既成の借入ではない。引用するときは一律に「起債が必要と見積もられる額」と書く(The Register、2025-09-29、②と③は同じソース)。④CoreWeave の 5 年物クレジット・デフォルト・スワップ——同社の社債に掛ける保険であり、保険料が高いほど債券市場がデフォルト・リスクを高く見ていることを意味する——は、2025-09-26 の 371 ベーシスポイントから 12 月のザラ場のピーク 881(終値の口径では 773)まで開き、2026-06 にはおよそ 452 へ戻した(The Next Web)。ザラ場のピークから数えておよそ半値である(881→452、およそ −49%)。
検証: 4 つの数字はそれぞれ元の記録から独立したソースを持つ。この記録は「単一ソースの伝聞」から「複数ソースで裏が取れた」へ格上げした。③の口径の訂正こそ、この種の裏取りの値打ちである。データの現況は明記しておく。CoreWeave の 452 ベーシスポイントは 2026-06 時点、Nvidia の 82 ベーシスポイントは 07-27 時点であり(TradingKey)、どちらも今日の値は取っていない。
判断更新: 両端を並べて読む。下支えされる CoreWeave の信用の圧力は緩み、保証を差し出す Nvidia の信用の圧力は過去最高を更新した——リスクは消えていない。引っ越したのである。保証される側のバランスシートから、保証する側の信用曲線へ。監視の姿勢もそれに応じて上げる。CoreWeave の 1 点を見張るのをやめ、CoreWeave と Nvidia を対で読む。保証される側のスプレッドが戻ることは警報の解除ではなく、保証する側のスプレッドが最高を更新することのほうが主のシグナルである。この読みを覆す条件——Nvidia のクレジット・デフォルト・スワップが年末までに 40 ベーシスポイント近辺へ戻り、かつ CoreWeave も下がり続けるなら、「空騒ぎだった」へ下方修正する。
メール版はこの 5 本をそれぞれ 1 行に畳んでいる。完全版であるここでは全文を展開する。順番はメールと同じである。
台湾の個人投資家向けポッドキャスト「股癌」の司会者 謝孟恭——台湾の半導体サプライチェーンを市場側から見る観察者であり、業界内の一次情報の担い手ではない——は、2026-01-24 の回で、自分は強気であり Micron と台湾系 NAND のポジションを持っていると自ら明かしたうえで、メモリのスーパーサイクルに天井の警戒を出した(原回の音源、EP630)。曰く、歴史上、海運もドライバ IC も受動部品も、値上げの循環のたびに業者は「今回は違う」と言い、そして毎回同じだった。彼は「毎回同じ」に票を投じる。さらにリズムの規則性も出している——株価は建値と売上高に数か月から 1 年近く先行し、リスクの経路は、まず株価が突然止まり、半年後になってクラウド大手が引き取りを止めていたと気づく、というものである。同時に彼自身、産業面は「まだ終わっていない」とも述べ、自分を信じて高値を追うなと聴き手に忠告している。対立する側にも同じく公開の証拠がある。投資会社 Deepwater の Gene Munster は Micron の 2026-06 の決算電話会議を伝えている——会社は 2028 会計年度に至っても供給は逼迫し、需給が均衡へ戻る時点は見えないと述べ、5 年の戦略的供給協定の顧客は 1 四半期のうちに 1 社から 7 社へ増えた。顧客は長期契約で生産能力と価格を押さえにきている(Munster の投稿、2026-06)。これこそ「今回は違う」派の具体的な形である。メモリを景気循環株から契約化されたサプライヤーへ押し出す。
検証: 警戒する側は司会者 1 人の経験則であり、統計の母集団はない。しかも「強気でありながら警戒する」は、責任の分散であって本当に弱気へ転じたのではないかもしれない——このポジションの自己申告は本紙もそのまま載せる。対立する側は会社の決算説明を投資家が伝えたものであり、公開の二次情報である。どちらの票もまだ開いていない。
判断更新: この矛盾は本紙は両方そのまま保留し、裁かない。答えが開く点は具体的である。次の四半期のメモリの契約価格の向きと、クラウド大手の引き取り行動が転じるかどうか——警戒する側のリズムの規則性に従えば、引き取りの転換は売上高の数字におよそ半年先行して現れる。
同じ番組の 2026-01-24 の回は、当時の台湾のサプライチェーン側の言い分を書き留めている(原回の音源、EP630)。Google の自社設計 AI チップ TPU の製品系列のうち、v7p は Broadcom(米国のチップ設計会社であり、Google の長年の設計パートナー)との協業、v7e は MediaTek(台湾の大手チップ設計会社)との協業であり——MediaTek が入出力と物理設計の側を、Google がチップ設計を担う——しかも v7e が TPU の対外販売の主軸になる、というものである。「TPU は外販される」は、当時の台湾の市場ではすでに共通認識だった。同時期には「MediaTek の TPU 部門が分離して Google へ吸収される」という噂もあったが、司会者自身が確率は低いと判じており、本紙も市場の情緒の記録として扱い、事実としては扱わない。対立面。Google Cloud の CEO Thomas Kurian は 2026-04 のインタビューで、TPU の対外の枠組みについて公式版の説明を与えている(インタビューは有料ソースの Stratechery に出ており、本紙は名前とリンクで敬意を示すのみで、内容は伝えない)。その向きは、「v7e が外販の主力」というサプライチェーン側の言い分と合わない。どちらも正しい可能性はある——語っている世代や製品の形態が違うのかもしれない。だが「外販の載せ物はどのチップか」は、現時点では未解決の対立点である。
検証: サプライチェーン側の言い分は「そういう話がある」水準の伝聞であり、出どころは司会者 1 人と、その名前の出ない業界の伝手である。書き起こしには音声認識に由来する系統的な誤りもあった(Broadcom が別の語に聞き取られている)。本紙で復元した。出荷量の数字はない。
判断更新: 対立点は保留し、裁かない。突き合わせられる着地点はこうである。MediaTek の次の決算説明での ASIC 売上高のガイダンスと先端パッケージングの生産能力の割り当てを、その後の Google の公式な外販の発表に当てる——突き合わせ可能な型番と数量を先に出したほうの言い分が、先に地に足を着ける。
やはり同じ番組である(EP630 の音源)。司会者のチームの自述によれば、2025 年に AMD と NVIDIA のサーバーの部品使用量から逆算して、受動部品と TLVR インダクタ(AI サーバーの給電系に入るインダクタ部品)が品薄になり値上がりすると読んだ。当時の業界の反応は「値上がりなど見えていない」だった。2026 年 1 月になって、ようやくリサーチのレポートがこの件を書きはじめた。本紙自身のデータベースにいたっては、正式な記録として収めたのは 4 月である。口頭のシグナルからリサーチの確認まで、およそ 2、3 か月。この時間差のサンプルは 2 例しかなく(受動部品、TLVR)、しかも自述による成功例であって外した分は並んでいない。選択バイアスは割り引く必要がある。だが司会者自身の警句を添えると、かえって完成する——「半年先行しても役に立たない」。情報を早く手にすることは、使えることを意味しない。行動する側には成績と時間の圧力がある。
検証: 単一ソースによる手法の自述であり、n=2、成功例の選択バイアスを含む。時間差の数字は経験値であって統計ではない。
判断更新: 再利用できるのは「彼が当てた」ことではなく、リズムそのものである。次に「業界は見えていないと言っている」と聞いたとき、問うべきは真偽ではない。あと何か月か、である。本紙自身の引用の規律も同じである。初期の口頭のシグナルは一律に仮説として収め、建値かレポートの確認を待ってから格上げする。
「誰の読みが当たるか」は印象で決められない。原典へ戻って採点する。本紙は今年 7 月の初めに、2023 年の元インタビューをまとめてデータベースへ収めて突き合わせた。3 年後の成績表のうち、最も教育的なものが 3 つある。OpenAI 共同創業者で首席科学者の Ilya Sutskever の 2023-03 のインタビュー(Dwarkesh Patel のポッドキャスト原回)は驚くほど当てている。「2030 年に AI の経済的影響が期待外れに終わるとすれば、その唯一の理由は信頼性である」——信頼性と長時間のタスクこそ、2026 年の売上高を解錠している主軸である。「モデルは声に出して考えることを許されると推論がずっと良くなる」——のちの推論モデルそのものである。彼が落とした 2 つも同じく値打ちがある。「TPU と GPU はほとんど同じものだ」は自社設計チップの戦略的な重みを過小評価しており、「ハードウェアは制約ではない」は 2023 年の研究の視点では成り立つが、2026 年には業界全体が供給に縛られ、完全に反転した。GitHub の前 CEO Nat Friedman の同じ月のインタビュー(原回)は、半分当たり半分外れの見本である。彼は「GPT-4 のコストは GPT-3 より 2 桁高いのに能力は明らかにそうなっていない——我々は S 字曲線の漸近部にいる」と判じた。純粋な事前学習という軸の上では彼は正しい。だが全体の能力曲線は止まらなかった——軸が替わったからである(強化学習、考える時間)。半導体アナリスト Dylan Patel の 2023-01 のリソグラフィ規制の分析(SemiAnalysis 原文)は、この回顧のなかで的中度が最も高い 1 本である。「EUV を止めるだけでは中国を止められない。DUV のマルチパターニングは物理的に 7 ナノメートルまで届く。ただ高いだけだ」——3 年後、現実になった。
判断更新: 2023 年のあの世代の予測者に共通する誤りは、手元の曲線を読み違えたことではない。「曲線が乗り換わる」可能性を過小評価したことである。この教訓は本紙自身の較正の規則へもう書き込んである。判断力を評価する物差しは 1 項目ずつ採点する規律であって、一度の的中ではない。
深掘りレポート〈下支えする側が下げ、下支えされる側が上げる——循環融資の値付けは債券市場へ移った〉(内容の日付は 2026-07-29)は、本紙 2026/7/29 号ですでに全文を紹介した(保存版)。今日は増分だけを記す。中核の判断を一言でいえば——市場は下支えそのものを罰してはいない。立ち位置ごとに勘定を分けている。保証する側の発表の甘みは 9 か月のうちにゼロを通り越して負へ振れ、構造リスクの澄んだシグナルは信用の層にあって株価の層にはない。今日の増分はこうである。狙い撃ちの裏取りが、下支えされる側 CoreWeave のクレジット・デフォルト・スワップの完全な弧を持ち帰った(2025-09 の 371 ベーシスポイント、12 月のザラ場のピーク 881、2026-06 のおよそ 452 への戻り。詳細は今日の中核〈半年前の資本レバレッジの 4 つの数字が、すべて独立したソースを通った〉にある)。これは Nvidia の同時期のスプレッドの最高更新と合わせて「リスクは保証される側から保証する側へ引っ越した」という両端の読み値を構成し、「監視の計器はクレジットスプレッドであって、発表に対する株価の反応ではない」にもう 1 本を足す。
進行中 ?
この判断を覆す条件: 元の稿と同じである——2,500 億ドルの保証が正式に調印され、調印日に Nvidia が上げ、クレジット・デフォルト・スワップも戻すなら、読みは下方修正する。Nvidia の 5 年物クレジット・デフォルト・スワップが年末までに 40 ベーシスポイント近辺へ戻る=空騒ぎだった、である。
答え合わせの日(検証期日): 2,500 億ドルの保証が調印されるかどうか(観測窓は 2026-12-31 まで)。今号時点の現況:取引は未確認、未調印である。
過去 24 時間。 夜間の定例スキャンで未処理として入った新規は 88 本:企業と個人のブログ 44 本／ポッドキャストの書き起こし 24 本／企業の提出書類 13 本／業界ニュースレター 7 本。X の入口では 380 アカウント、オリジナル投稿 592 件を見た(リポストと返信は数えるだけで分析しない)。日中に精読した優先素材は X の投稿 1 本(Greg Brockman の 5 件の投稿——2 件を今号へ収録し、3 件はシグナルなし:ChatGPT Voice の販促、具体の中身がない学術利用の宣伝、一語だけの引用投稿。本紙があなたのために削った読書時間は、この註記のなかにある)。ほかに KTV 予想について出どころを遡り(著者本人の blog を錨とした)、半年前の記録 1 件について狙い撃ちの裏取りを完了した(〈半年前の資本レバレッジの 4 つの数字が、すべて独立したソースを通った〉の 1 本)。カバレッジについての断り:自動集計レポートは 5 日連続で走っておらず、上記の数字は調査夕刊をバッチごとに手作業で突き合わせた口径である。今号が保証できるのは、このスキャン範囲内のシグナルに限られる。
一度きりの遡り分(過去 24 時間ではない)。 ポッドキャストの書き起こし 4 回分:台湾の投資ポッドキャスト「股癌」の 2026 年 1 月の 4 回(EP627/628/629/630、SoundOn)から 13 件の記録を遡って収めた——すべて振り返りと較正の素材であり、各件に初出の年月を明記した。昨夜の定例バッチには数えない。
ソース集中度の注意。 今日の新しいシグナル 2 件は、いずれも原初の出どころが Brockman の同じ日の投稿である(うち 1 件は予想を解いた著者の blog という一次で錨を打ち直した)。振り返り側の 13 件はすべて股癌の同じ司会者から出ており、隣り合う回は独立した第二のソースを構成しない。本紙はすべて「ソースは 1 つだけ」と注記し、信頼度もそのぶん割り引いている。今号は広域スキャンの日ではなく、集中して裏を取る日である。
本紙が追いかけているソース。 本紙の判断の土台には、いま 529 の名前のある声がある——X 305 人(Elon Musk、Andrej Karpathy、Greg Brockman、Nathan Lambert ほか)、ポッドキャスト 90 人(Satya Nadella、Dario Amodei、Jensen Huang ほか)、報道機関 51 社、個人ブログ 48 人(Simon Willison、Chris Olah ほか)、論文著者 48 人(Noam Shazeer、Percy Liang、Tri Dao ほか)、ニュースレター 46 本(Dylan Patel、Ben Thompson、Ethan Mollick ほか)、決算と説明会 26 社、基調講演 23 件。
本記事は日本語版・英語版・中国語版と同一の調査と判断にもとづいて書かれており、すべての主張は一次資料へのリンクを備えています。
本紙はニュースのまとめではありません。毎日の AI 情報の奔流から、本当に重要な洞察と、長く追う価値のある目利きの判断をすくい上げ、それぞれをどう検証したかまでお見せします——焦点は常に「どの判断が硬くなったか、誰の読みが当たっているか」であって、「今日何が起きたか」ではありません。
—— SecondSource・調査システムによる自動生成 · 18 のソース · ご返信いただくことが、最良のフィードバックです