Path B

2026年8月の1週間で、AI産業の財務は「推測」から「開示」へと一斉に切り替わった。8月5日、MicrosoftがFY2026 10-KでOpenAI関連売上**$24.1Bを初めて開示。同時期にAnthropicは約$71Bのコンピュートコミットメントと自社シリコンチーム設立を明らかにし、8月10日にはOpenAIのS-1公開が数週間以内との観測が報じられた。当ブログは5月19日の$900B評価記事から始まるAnthropic財務ドキュメンタリー**を6本の記事で積み重ねてきたが、この1週間の開示ラッシュで、その全容を1ページに集約できる構造がようやく揃った。本記事はその6脚を総括するPath Bハブである。 PM 編集方針 ── 8/12 06:30 HKT morning brief LOCKED 計画 P0-AM 8/12 は CEO 指定の Anthropic 財務ドキュメンタリーハブ（6脚 #126/#84/#86/#99/#117/#161 + シリコンチーム + Microsoft $24.1B + $71B コンピュート・データポイント、CEO window 8/12-13 = INVIOLABLE）。8/11 18:15 HKT evening brief で ✅ VALIDATED、本スロットは LOCKED 計画で新規 override なし（override counter stays 15 post-freeze、15 in 24 days = 62.5%）。OpenAI S-1 提出時期（mid-late Aug、BFWAI Aug 11 datapoint）は本稿のエンリッチメント文脈として統合する。 6脚の全体像——「評価額の物語」から「開示された財務」へ ドキュメンタリーを貫く軸は、Anthropicの価値が「ラウンドごとの評価額」から「監査可能な財務実数」へと重心を移したことだ。第1脚の$900B（5/19）は投資家の期待値であり、Series H $965B（5/30）はラウンド交渉の結果だった。しかしS-1提出（6/2）、$47B ARR黒字化（7/19）と進むにつれ、語りの主役は「評価額」から「売上・コスト・キャッシュフロー」へ交代した。そして8月の開示ラッシュ（Microsoft $24.1B、$71Bコンピュート、OpenAI S-1）で、Anthropicの財務は単独の企業物語ではなくAI産業全体の財務公開化の一部として読めるようになった。 脚 日付 出来事 ドキュメンタリー上の役割 第1脚 5/19 $900B評価の衝撃 評価額の起点。投資家の期待値が可視化された 第2脚 5/30 Series H $65B @ $965B OpenAI $852Bを逆転。資金調達競争の構造化 第3脚 6/2 機密S-1提出 上場プロセスの開始。PBCガバナンス論の起点 第4脚 6/22-24 IPO 30日プレビュー→10月ターゲット訂正 上場時期論争と「最初の訂正記事」。4リスク要因の確立 第5脚 6/30 Alphabet $84.75B 史上最大増資 $4.2T AI capital super-cycle。産業資本の規模感を確定 第6脚 7/12 OpenAI pre-IPO ガバナンス3圧力 競合の上場準備を横軸に。IPOレースの二元構造 補助脚 7/19 $47B ARR黒字化 + Meta $10B交渉 ランレートから財務実態へ。収益性の転換点 最新脚 8/6 WSJ「OpenAIは王座を失った」 売上王冠の移動。$74B Yipit推定 vs $25-33B帯 第8脚のWSJ記事は、ドキュメンタリーが「Anthropicの財務」から「両社比較の財務」へ拡張された瞬間だ。Claude Codeがコード生成市場で42%対21%とOpenAIを突き放し、YipitトラッカーではAnthropicの年換算売上が7月時点で約$740億（12月$90億→2月$140億→4月$300億→5月$470億→7月$740億の6ヶ月5倍）に達したと推定された。一方OpenAIの年換算売上は$250-330億帯とされる。「売上王冠」がAnthropicに移った——この裏付けを、8月5日のMicrosoft開示が初めて第三者監査可能な形で補強した。 ...

2026年5月20日、OpenAIが「エルデシュ単位距離問題」の反証を発表したとき、数学界は衝撃に包まれた。1946年にポール・エルデシュが提起して以来80年間未解決だった難問が、公開されていない内部モデルによって約$1,000以下の計算コストで覆されたのだ。当ブログはこの瞬間をAI数学ドキュメンタリー第1脚として記録し、その後わずか4ヶ月で5本の記事を積み重ねてきた。そして8月1日、OpenAIの次期モデルファミリー「Astra」が未解決問題10件を約$2,000で一挙解決したことで、このドキュメンタリーは「単発の奇跡」から「再現可能な研究インフラ」への質的転換を完了した。本記事はその5脚を総括するPath Bハブである。 PM 編集方針 ── 8/9 06:00 HKT morning brief LOCKED 計画 P0-AM 8/9 は CEO 8/5 戦略ノートで指定された AI数学ドキュメンタリー Path B ハブ（5脚完結 #153→#160、CEO「highest leverage」window）。8/8 18:00 HKT evening brief は broken-pipe で欠落したが（8/8 evening failure、#166 以降の記事損失なし）、8/9 06:00 HKT morning brief で「CEO-LOCKED = inviolable」として VALIDATED。override 適用なし（override counter 13 post-freeze、13 in 22 days = 59%）。5脚すべての成果と一次ソース（OpenAI blog、Quanta Magazine 8/3 Erdős特集、Tao blog、Berkeley Kerger教授）を本稿に統合する。 5脚の全体像——「何が解けたか」ではなく「どう検証されたか」 ドキュメンタリーを貫く軸は、解かれた問題の難易度ではない。証明の検証方法が4ヶ月で「外部の専門家に頼る」から「機械検証が標準装備」へ進化したことこそが主役だ。第1脚では人間の数学者9名が補足論文で検証した。第4脚では全証明がLean 4証明書としてGitHubに公開され、誰でもlake buildで機械検証できる。この変化が「AI数学」を研究ツールとして実用段階に押し上げた。 脚 日付 成果 検証方法 コスト 第1脚 5/21 エルデシュ単位距離問題の反証（80年未解決） 外部数学者9名の補足論文（Gowers / Alon / Shankar / Tsimerman） ~$1,000以下 第2脚 7/19 GPT-5.6 Sol Proによる凸最適化30年ギャップ解決（Protasov 1996、148分） 10ページプロンプト + Lean形式検証 セッション単位 第3脚 7/24 テレンス・タオによるヤコビアン予想反例の検証（87年未解決） 公開ChatGPT対話 + 専門家検証 セッション単位 第4脚 8/1 Astraによる未解決問題10件の一挙解決 Lean 4証明書 + 249ページ原稿 + CoT解説 約$2,000（1件あたり$200） 第5脚 8/5 CoT忠実性論争——AIは「正しい理由」で推論しているのか 解釈のメタ分析（Quanta総括） — 第5脚は「結果」ではなく「解釈」を扱う点で特異だ。Astraの証明がLeanで機械検証可能な以上、結果の正しさは確定している。しかし「モデルが証明をどう見つけたか」——思考の連鎖（CoT）が実際の推論に忠実なのか——は別問題であり、その論争はまだ決着していない。この「結果と解釈の分離」こそが、5脚を貫くもう一つのテーマである。 ...