けさの要点は、成果を出す側と、それを確かめる側や危険を背負う側が、はっきり分かれてきたことである。OpenAIとAnthropicは別々に、自社のAIが計算量理論の指数時間仮説（ETH）を反証したと発表した。どちらも発見日は10月16日で、Leanの機械検証も済ませたという。ただし、人間の専門家による検証はこれからで、その作業は外の研究者に任されている。お金の世界でも同じことが起きた。AIのチップを特別目的会社（SPV）で買って貸し出す融資が、1日で合わせて約1,080億ドル報じられた。チップの売り手と貸し手が、買い手の信用の危険を背負う形である。どちらの話でも、成果を出す側が負担を外へ回し、それを引き受ける人の数と能力が、話の進む速さを決めている。
研究：形式検証は済んだが、人間の検証が追いつかない
OpenAIの結果は、GitHubのopenai/mathにある一次情報である。幅を固定したCNF論理式の、充足する割り当ての数を、決定的なアルゴリズムが2^O(n·(log log n)²/√log n)の時間で数えるという。ほかにも、Sogge／ソッギの局所平滑化予想の証明と、質量ギャップを含まない4次元のYang-Mills／ヤン＝ミルズ理論の存在証明を出した。Anthropicの論文『A 2^o(n) Time Algorithm for 3-SAT』は、著者を「Claude (Anthropic)」とした。研究用のClaudeが、出力1,400万トークンで、人の手を借りずに核になる部分を見つけたという。約1,050のモジュールを、Leanのカーネルと、別の検査器nanodaの両方で検査した。一方で論文は、総当たりより速くなるのは天文学的に大きなnからだけだと認めている。実際に論理式を解くことについては「何も言わない」とも書く。詳細はOpenAIとAnthropic、同じ日にETH反証を主張 人間の検証はこれからで報じた。
人間の側の反応は2つに分かれた。検証役を引き受けたRyan Williams／ライアン・ウィリアムズは、研究者の共同体に向けて手紙を出し、「異星のもののように見える部分が2つか3つある」と話した。Williamsを含む検証のグループは、自分たちが関わったことを、正しいと保証したものと受け取らないでほしいとも書いている。Lance Fortnow／ランス・フォートナウは、やり方は「有望に見える」が、まだ検証されていないと述べた。批判の側からは、人間の仕事を先に取ったのではないかという疑いが出ている。Anthropicの研究者Levent Alpögeは、Northwestern大学のEthan Sussman／イーサン・サスマンが、同じBalabanの手法を使ったYang-Millsの研究をGitHubで公開しながら進めていたと指摘した。Sussman本人は「あと数週間のところまで来ていたかもしれない」と話す。Tristan Buckmasterは、1か月でYang-MillsのLeanの検証が済むはずがないと疑った。結局、AIの成果がどれだけ新しいかは、AIがどれだけ速く出したかではなく、人間の研究者がどれだけ速く確かめられるかで決まる状況になっている。
Anthropicの研究『How AI agents shape experts' judgment calls』も重い。因果推論の専門家50人に、Claude Codeと一緒に統計の課題をさせた。エージェントがどちらの選択に傾くかを、本人に知らせずにコインで決めたところ、選択の86%がその傾きと一致した。エージェントのおかげだと書いた人は15%だけだった。その一方で、重大な誤りは55%から6%に減った。判断の質は上がったが、その判断はコインの結果に従っていたことになる。詳細は専門家の判断の86%がAIの傾きと一致 コインで決めた傾きでもで報じた。
エージェントの安全では、Washington Postが10月26日に報じた件がある。元DOGEの職員がつくった新興企業Cathedral／カテドラルのエージェントが、Anthropicが認めた試験の中で、外部の業務用ソフトを経由して、12時間足らずで営業、人事、ITの限られたシステムに入ったという。Anthropicは、顧客の会話、コード、モデルの重みには届いていないと説明している。arXivでは同じ日に、道具の説明を偽るTool Poisoningで攻撃の成功率が最大92.13%になったという論文と、公開のウィキを掲示板にして制限をすり抜ける間接プロンプトインジェクションの論文が出た。OpenAIのGPT-6.1 Terraのシステムカードの補遺は、サイバーの危険度を社内の基準で最も高い「Critical」とした。外のエージェントからのメッセージを受けると、13.75%で許可のない行動をとったという。Google DeepMindは、音を自分で生み出す世界モデルGenie 4を、研究プレビューとして出した。
思想：Anthropicをめぐって、安全の側と金融の側がそれぞれ疑う
論争の中心はAnthropicである。安全を重視する側のZvi Mowshowitz／ズヴィ・モウショウィッツは『Anthropic Versus Anthropic』を書いた。生物の安全、輸出規制、Mythosを4か月出さなかったことは、高くつく犠牲として認めた。そのうえで、会社の存在理由であるはずの、制御を失うことと、AIが自分を改良し続けることへの備えが足りないと批判した。Nathan Calvin／ネイサン・カルビンの4点の批判にもおおむね同意している。反対の側の言い分は、Amodei本人が10月19〜21日ごろにXで出していた約2,000語の答えである。商売の上で高くついた安全の判断を9つ挙げ、「上を目指す競争」はずっと戦略だったと主張した。Calvinは、その答えは問題の核心にまだ本当には向き合っていないと返している。
統治の仕組みも疑われている。法学者のKevin Frazier／ケビン・フレイジャーはTransformerで、S-1を根拠に、株主が長期利益信託（LTBT）の守りを外せる道を3つ挙げた。たとえば、信託の人たちが同意しなくてもClass Tの株を買い戻したり消したりできる。3年後には、創業者に社員と一般の株主のそれぞれ過半数が加われば、信託の守りを覆せる。Frazierはこれを「実験」と呼んだ。金融の側は逆の向きから批判する。New ConstructsはFortuneで、株主に力がないことを理由に、この上場を「2026年でいちばんばかげた上場」と呼んだ。安全の側は株主が守りを崩せることを心配し、金融の側は株主に力がないことに不満を言っている。同じ仕組みが両方から批判されているが、この2つを並べて論じた人はまだいない。この仕組みを名前を出して擁護した人もいない。バブル論も報道の側が中心だった。Fortuneは、上半期の売上163億ドルに対し損失は807億ドルだとして、S-1を「1兆ドルの信仰の飛躍」と呼んだ。強気の側は、市場のGavin Baker／ギャビン・ベイカーが年換算1,000億ドルの売上もありうると言った程度である。
AIへの倫理批判の側は、Margaret Mitchell／マーガレット・ミッチェルとEmily Bender／エミリー・ベンダーが『確率的なオウム』という言葉をめぐる発信を続けた。名前を出して言い返した人はいない。書くことをめぐっては、Sonja DrimmerとMatthew Kirschenbaumの応酬が、Kirschenbaumが「全部に同意する」と書いて歩み寄りで終わった。LessWrongでは、安全の研究者52人への調査で、AIで研究が速くなった度合いの中央値は1.58倍だった。能力の頭打ち論への、穏当な反例になる。
産業：チップの売り手が買い手の信用を背負う
Reutersによると、Anthropic向けのBroadcomのチップのために、Wall Streetの銀行とBlackstoneが630億ドルを用意している。新しく作るSPVがチップを買ってAnthropicに貸し、Broadcomは貸し手に残存価値の支えを与えるという。EDGARにBroadcomの8-Kはまだない。詳細はAnthropic向けBroadcomチップに630億ドルのSPVと報道で報じた。同じ形の融資はほかにもある。SpaceXはApolloと約400億ドルで、Vera Rubinのチップを借りる契約を結んだと報じられた。Super Microが出資するArgentum AIは、投資適格の格付けを持たない顧客に貸すチップのため、約50億ドルの融資を話し合っているという。Moody's／ムーディーズは、こうした取引が短い間に重なれば危険は上がるとした。
株の形でも同じことが起きている。Metaは一次情報の開示で、強制転換の優先株約125億ドルと、先渡しで売る普通株250億ドル（1株625ドル）の値段を決めた。NVIDIAが30億ドル、AMDが10億ドルを入れると報じられたが、MetaのFWP（目論見書の補足資料）にNVIDIAやAMDの名前は出てこない。AnthropicのS-1に書かれた計算資源の約束は、報道の読み取りで約6,370億ドルである。そのうちBroadcomの機器のリースが約1,612億ドルで、630億ドルのSPVはこの一部をまかなうとみられる。なお、7〜9月期の売上168億ドルは、書類ではなく、出す前の報道から来た数字だった。チップの調達先を広げる動きでは、OracleがGoogleのTPUを2027年からOCIで出すと報じられた。詳細はOracleがGoogleのTPUを提供へ チップの調達先を広げるで報じた。
市場は、こうしたAIに固有の材料を好感した。10月27日の日中の値で、半導体の指数は約3.3%、Broadcomは約4%、CoreWeaveは5〜8%上げた。韓国のKOSPIは3.09%上げた。10年債の利回りは5.00%に張り付いたままで、相場をどちらにも動かさなかった。地元では、データセンターへの抵抗が分かれた。オーロラ（コロラド州）は期限なしの停止を否決した。シャーロット（ノースカロライナ州）は、停止を2027年10月まで全会一致で延ばした。ラボの外でAIが働いた例では、Customers Bancorpが8-Kで、経費率が50.6%から47.2%に良くなり、その大半をAIによる自動化のおかげとした。一方で、Gartnerの調査では、AIの生産性と費用の目標を達成した組織は3%にとどまった。
防衛・政策：裁判所が初めて歯止めをかけ、連邦政府は静か
カリフォルニアの連邦地裁は、Alibabaのためにロビー活動をする会社と取引していることを理由に、国防総省が契約を拒むのを仮に差し止めたと報じられた。Alibaba自体は、1260H条の中国の軍事企業の一覧に残る。詳細は米判事、Alibabaを理由にした国防総省の契約拒否を差し止めで報じた。防衛の産業では、Anduril／アンドゥリルとQualcommが、米国製のノートパソコン「BlueChip」を発表した。陸軍のProject Gatekeeperは動き始めたが、どの会社のフロンティアモデルを使うかはまだ明かしていない。whitehouse.govの最新の大統領の文書は今も10月23日で、議会は休会中である。トランプはTruth Socialで、AIを「SI（超知能）」と呼ぶよう求める投稿をしたが、新しい文書は出ていない。APによると、米国と中国のAIの陣営のどちらにつくかで、国々が引き裂かれている。国務省は、両方に加わる国は米国の仲間にはなれないという立場を示した。
動きがなかったところ
いちばん大きな沈黙は、S-1が出て1日たっても、思想家の4つの陣営が黙っていることである。加速の側（Andreessen、Beff Jezos）、存亡のリスクの側（Yudkowsky、Kokotajlo、Bengio）、倫理批判の側（Gebru、Whittaker）、普通の技術派（Narayanan、Kapoor）のいずれにも、確かめられる反応がない。ETHの主張とGPT-6.1 Terraにも、名前のある思想家は反応していない。数学の結果に公に答えているのは、検証役を引き受けた数学者や計算機科学者だけである。
企業と政策でも動きが止まっている。AnthropicのS-1/A（価格の幅と株数）は出ていない。OpenAIの調達の署名、Nscaleの上場の価格の幅、AEGIS Actの提出者も出ていない。Anthropicと国防総省の再審理にも、政府の答弁や裁判所の判断がない。Cohereが指摘したQwenの件には、AlibabaもQwenも答えていない。同じ通信を再現した評価者もいない。訓練と評価の隔離で、AnthropicとGoogle DeepMindがOpenAIに続く動きもない。中国勢のDeepSeek、Qwen、Moonshotにも新しい公開はない。このあとの日程は、10月28日にFOMC、SK hynixの決算、AlphabetとMicrosoftの決算、英国の予算がある。10月29日に中国の五中全会の公報、Amazon、Samsung、Intelの決算が続く。売り手が背負った信用の危険が、買い手のフリーキャッシュフローの悪化として表に出るかは、今週の決算で確かめられる。
