静かな週末だった。いちばん大きいのは、Google／グーグルの研究部門が11月13日に出した発表である。複数の AI エージェントを組ませて研究を進める機能を使い、数学と計算機科学の未解決の問題をいくつも解いたという。20世紀の大きな定理の一つも、証明を機械で確かめる道具で書き直したとする。ただし、どれも自社の主張で、外の研究者はまだ確かめていない。
もう一つの流れは、AI を止めようとする力が、議論から制度の場へ移っていることだ。非営利の4団体は11月12日、5つの AI のラボに最先端の開発を止めさせるよう裁判所に訴えた。11月14日には6都市で、AI の条約を求める行進があった。米英では議会や住民がデータセンターの計画に次々と反対した。政策では、ホワイトハウスが、11月19日に中国の深圳でトランプ、習近平、Putin／プーチンの3首脳が会うと認めた。米国の当局者は「輸出規制は交渉しない」と述べた。
3分で読む
お金と市場：11月13日（金）の米国市場で半導体株が大きく下げ、NVIDIA／エヌビディアの時価総額は4兆ドルを割った。物価が高いため、12月に0.25%利上げされるという見方が相場に完全に織り込まれ、10年物の国債の利回りは5.15%まで上がった。詳細は記事「半導体株が急落、NVIDIAは4兆ドル割れ 12月利上げを完全に織り込む」で報じた。
仕事に効く話：Anthropic／アンソロピックの開発の道具 Claude Code の最新版は、許可していないコマンドが確認なしに動く穴や、ログインのトークンや API キーが子のプログラムに渡る問題などを直した。その代わり、人が見ていない自動の作業が、確認を待って止まることがある。
日本の会社にとって：Claude Code で自動の作業を回している開発部門は、更新した後、週明けの最初の実行で、予約した作業が止まっていないかを確かめる。販売店を通して Microsoft 365 Copilot を買っている会社の情報システムの担当は、11月中に今の契約の扱いを販売店に確かめる。12月1日に追加ライセンスの形での販売が終わり、新しく買う Copilot Business は使った分だけ払う形が標準になるからだ。円は1ドル160円前後なので、ドル建ての AI の料金は1ドルあたり約160円で見積もる。
研究：大きな主張と、追いつかない検証
Google は、主に自社の AI の Gemini 4 Argon を使い、2013年に出された Courtade–Kumar 予想を一般の形で証明したとする。Weil 予想は Lean（証明を機械で確かめる道具）で約180万行に書き直し、OS の中核のプログラムは安全な言語の Rust で約80万行に書き直したという。研究者向けに道具を外へ開き、最上位の枠を半年無料で使える席を1万用意した。一方で、同じ予想の特別な場合を人が9月に証明したとする論文があるが、Google はその論文との関係に触れていない。使った計算の量も書いていない。詳細は記事「Google、複数AIで研究する機能を公開 予想の証明を主張も外部検証はまだ」で報じた。
AI が数学をする話は、もう一つあった。数理論理学者の Gödel／ゲーデルは、1940年代に速記で1,009ページのノートを残した。英紙の Guardian／ガーディアンは、このノートを Claude に読ませたところ663の定理の候補が出たと報じている。報道によれば、約400は証明を確かめる道具の Coq で正しいと確かめられ、約50は誤りだった。数学者の Joel David Hamkins 氏は、どこまでが Gödel の手柄で、どこからが AI の手柄かに、慎重な見方を示した。
学習の費用を下げる話では、元 OpenAI 幹部が率いる Thinking Machines／シンキング・マシンズが、計算の多くを4ビットの数（NVFP4、NVIDIA の新しい形式）で行い、学習の時間を最大約2割短くしたと発表した。詳細は記事「AIの学習を4ビットで、時間を最大2割短縮 元OpenAI幹部の会社」で報じた。
OpenAI／オープンAI は、ロボットの専門のチームを解き、人を2つの部門に移したと、米誌の Fortune が同社の広報の確認を得て報じた。汎用のモデルの GPT-6 Astra が、もうロボットを直接動かしているからだという。13日には、AI が買い物の支払いまでする ChatGPT Wallet も出た（対象は米国の上位の契約者だけ。発表のページは開けず、中身は報道による）。同じ日に Google も、決済の Google Wallet を Gemini につないだ。AI に財布を預ける競争が始まったが、今のところ日本では使えない。
お金：NVIDIA の後継探しと、借金の値段
Huang／フアン氏が去った後の NVIDIA について、英紙の FT は、取締役会が英国の半導体設計の会社 Arm／アームの CEO、Rene Haas 氏に後任を打診したと報じた。Haas 氏は何人かいる候補の1人で、まだ決まっていないという。この報道を受けて、Arm の株は4.63%下げた。NVIDIA は11月17日に決算を出す見込みで、オプションの値段は上下約10%の値動きを織り込んでいる。
市場が気にしているのは、データセンターを貸す新しい会社（ネオクラウド）の借金を、NVIDIA が帳簿の外で保証していることだ。米 CNBC は、7月の決算書類にある360億ドル（約5.8兆円）の保証を改めて伝えた。保証先の一つの CoreWeave は、CDS（倒産に備える保険の値段）が週の初めから17%超下がったが、まだ高い水準にある。米金融大手の Goldman Sachs は、NVIDIA は今ある約束は守れても、同じ規模の新しい取引は難しくなるとみている。
東京では、NVIDIA の件が嫌われてソフトバンクグループの株が5.11%下げた。円は一時1ドル160円台まで下げ、片山財務相は「為替の変動には適切に対応する」と述べた。来週は、Anthropic が11月18日に上場の値段を決め、19日に米ナスダックで取引を始める見込みである。
政策：深圳の3首脳会談と、裁判所に持ち込まれた「停止」
ホワイトハウスの報道官は、11月19日に深圳で開かれる APEC（アジア太平洋の首脳会議）の場で、トランプ、習近平、Putin の3氏が初めてそろって会うと認めたと、米 NBC などが報じた。議題は核兵器を減らすことと、イランとの戦争だ。AI に関わるのはチップで、米国の当局者は「輸出規制は交渉しない」と述べた。Huang 氏の辞任も話に出ない見込みだという。中国の外交部は13日、新しいチップの規制をしないよう米国に警告した。
前回「確かめられなかった話」とした件は、中身がはっきりした。非営利の4団体が、OpenAI、Anthropic、Google、Meta、SpaceX の AI の部門の5社に最先端の開発を止めさせるよう、サンフランシスコにある州の裁判所に緊急の差し止めを求めて訴えていた。日付は11月11日ではなく12日で、手紙ではなく訴えだった。審理の日は決まっていない。詳細は記事「AI5社の最先端開発を止めよ 非営利4団体が差し止めを求め提訴」で報じた。
止める動きは地元にも広がっている。米国のカンザスシティの市議会は、歴史的な建物を壊してデータセンターを建てる案を、全会一致で退けた。英国のエディンバラでは、75の団体がデータセンターに反対して行進した。詳細は記事「データセンターに地元が次々ノー カンザスシティは全会一致で却下」で報じた。Huang 氏については、下院の委員会が求めた11月13日夜の期限に応じたかが、まだ分からない。Mast 下院議員は、Huang 氏は出席に応じたと話したが、日と場所は決まっていないという。
論争：「あと1年」をどう読むか
AI の安全を重んじる側の中で、残り時間の読み方をめぐる対立がはっきりした。書き手の Jurkovic 氏は、人と同じように幅広く考える AI（AGI）まで1年と見て動こうと投稿した。これに、安全の論者として知られる Richard Ngo 氏が「知的に無責任だ」と反論した。1つの見立てを延ばしただけで、外れる見込みを無視したまま、ほかの人に指図しているという。賛成の側からは、その向きに外れるほうが損は小さいという声が出た。
同じ夜、「もう1年もない」とみる書き手の Linch 氏は、より強いモデルの学習を止める措置を求めて、ワシントンかサクラメントに移り、働きかけるかもしれないと書いた。逆に物理学者の Shahin Kaveh 氏は、ロボットが部品の供給の網を自分で作り直すには何十年もかかるとして、2030年までに AI に滅ぼされることはないと書いた。ただ、少しずつ人の力が失われる筋書きには答えていないと、コメントで指摘された。運動の進め方でも、左派のポピュリズムに学んで不買やストライキを使えという投稿に、左派のポピュリズムは実際にはあまり勝っていないという異論が出た。
AI が科学をするとは何かでも、向きが割れた。生物学者の Carl Bergstrom 氏は、ばらばらに動く AI のエージェントは「科学をしていない」と書いた。数学者の Michael Freedman 氏は、数学者は AI を限界まで使い、その成果を終身の職の評価に数えようと呼びかけた。Google の発表は、この対立のただ中に出てきた。
米国の空の便が全国で止まった件では、AI に懐疑的な2人が違う向きに読んだ。認知科学者の Gary Marcus 氏は、米国の航空の当局（FAA）が使い始めた AI の経路の道具と結びつけたが、証拠はないと自ら認めた。テクノロジー批評の書き手の Brian Merchant 氏は、欠航をすぐ AI のせいにするのを戒めた。FAA は前から、この道具は経路を勧めるだけで、使うかは管制官が決めると説明している。
確かめられていないこと
空の便が止まった原因は、まだ確かめられていない。中国のモデルが NVIDIA の最新のチップ Blackwell で学習されたという民間の分析について、元 OpenAI の研究者は、OpenAI と Anthropic の上の研究者が確かめたと言う。だが、両社は認めていない。HSBC が NVIDIA の目標の株価を365ドルから170ドルに下げたという話は、出所が1つしかない。CNBC の動画に出た4,000億ドルの保証という数字は、360億ドルと食い違う。Bessent 財務長官が、中国には H100 より進んだチップを渡すべきでないと述べたという話も、言い換えだけで、本人の言葉のままの引用はない。
動きがなかったところ
Anthropic の上場まであと5日だが、新しいモデルの Fable 5.2 の安全性について、外部の評価機関（METR、Apollo、英国の AI 安全研究所）は何も出していない。会社自身の安全の文書も、大きすぎて今回も読めなかった。投資家は、外の目を通っていない安全の主張のまま、値段を決めることになる。
Blackwell の分析で名指しされた中国の DeepSeek、Moonshot、MiniMax、Ant と NVIDIA は、13日の時点でも公に答えていない。米商務省も、輸出規制の新しい規則や、取引を禁じる企業の一覧への追加を出していない。首脳会談の前に、規制を担う側は静かなままだ。
AI のバブルをめぐっては、テクノロジー批評家の Ed Zitron 氏や作家の Cory Doctorow 氏など、懐疑の側だけが書き続けている。NVIDIA の株が6週続けて下げる中でも、強気の側からの名前のある反論は、今回も見つからなかった。
