市場は、AI に資金を出す側の物語を疑い始めた。豪州の AI データセンター会社 Firmus／ファーマスは、1997年の Telstra 以来の大型上場になるはずだった IPO を、10月9日に取り下げたと報じられている。前日には FT が、OpenAI の年換算の売上を約500億ドルと報じていた。OpenAI は投資家に『2026年末に700億ドル以上』という目標を示して火消しに回ったが、500億ドルという数字そのものは否定していない。同じ時期、OpenAI を解雇された安全研究者3人が公開書簡で反論し、思考連鎖を監視できる状態を守るよう求めた。最上位のモデルを止めている最中の OpenAI に、外からも内からも問いが出ている。
3つの出来事に共通する力学は、外から確かめられるかどうかである。売上は総額で数えるのか純額で数えるのか。Lean の検証そのものは信頼できるのか。モデルが何を考えているかを監視できるのか。どれも同じ問いの別の面だ。なお、フロンティアのモデルの発表はなく、ラボの面では静かな日だった。
資金の物語に、市場が値札を付け直した
Firmus は NVIDIA、Coatue、Blackstone が出資する会社である。ABC と Reuters によれば、70億豪ドルを1株11豪ドルで調達する計画で、引受会社は約8.25豪ドルへの引き下げも試みたが、需要が集まらなかったという。2028年までに約430億豪ドルの債務を抱える見込みで、予定の7拠点のうち動いているのは2つだけとされる。ベンダーファイナンスで組み上げた AI インフラ会社を、公開市場がはっきり拒んだ例になった。詳細はFirmus が ASX への上場を取り下げと報道で報じた。
OpenAI の反応は Bloomberg が報じ、Semafor と Investing.com が追った。投資家向けの資料では、7〜9月期の年換算の売上が全体で+77%、企業向けで+107%伸びたという。ただし、ここで示されたのはあくまで年末の目標である。CNBC は、既報の680億ドルが提携先を通した売上を総額で数えた値で、OpenAI の取り分（純額）ではなかったと確認した。Bloomberg も、Anthropic と OpenAI の売上の数え方の違いが投資家を混乱させていると解説している。食い違いは、数字の大小より先に定義の問題になっている。
値動きは激しかった。10月8日の終値（二次情報、前回の日中の値を訂正）で、ナスダック総合は−1.25%、SOX は−3.4%、Oracle は−5.48%、CoreWeave／コアウィーブは−7.8%だった。ダウは+0.10%で持ちこたえたが、これは資金がエネルギー（+2.34%）と生活必需品に移ったためである。翌9日は目標の報道を受けて戻し、日中に S&P500 は+0.66%、Oracle は一時約+5%まで上げた。会社が示した目標ひとつで指数が往復するところに、この物語のもろさが表れている。
周辺でも同じ構図が見える。FT によれば SoftBank／ソフトバンクは、湾岸の投資家から最大1,000億ドルを集めようとしているという（Bloomberg 経由）。OpenAI への646億ドルの出資は、ブリッジローンとジャンク債で賄っている。株価は9日に−3.9%の5,803円で、日経平均を約243円押し下げた。中国では Moonshot／ムーンショット（Kimi）が、評価額約500億ドルで上場前の最後の私募を終えたと21世紀経済報道が伝えた（Bloomberg を引用）。2027年1〜3月期に香港で最大50億ドルを調達する計画だという。一方、すでに上場した Zhipu は8日に−7.61%（6月の高値から約75%安）、MiniMax は−13.74%と急落している。
論争は両陣営で温度差が大きい。懐疑の側では、Ed Zitron／エド・ジトロンが有料記事で、OpenAI と Anthropic が借金をすれば『CCC のジャンク格付けになるのは間違いない』と書いた。Tech Policy Press の Sun-ha Hong は、予測は『未来から信用を借りて、いまの正統性を買っている』と論じた。強気の側からは、名前のある論者の反論が見つからない。反論を出したのは会社で、Cowen と Tabarrok もこの件に触れていない。
OpenAI の内側から出た問い
解雇された Mikita Balesni、Tomek Korbak、Jasmine Wang の3人は、公開書簡で次の3点を求めた。第三者の安全監査人をラボの中に置くこと、思考連鎖を監視できる状態を守ること、外部の安全団体とのやりとりを続けることである。Korbak は『METR と話すのが私の仕事だった』と書き、3人とも『リーク元は私たちではない』とした。OpenAI は、解雇は『重大な信頼の裏切り』によるもので、安全の懸念とは関係ないと説明している。そのうえで、書簡の提言には『強く同意する』とした。Gizmodo は、背景に GPT-6 Astra の『再帰的な深さ』を使う推論が監視をすり抜けうるという懸念があると伝える。詳細は解雇された OpenAI の安全研究者3人が公開書簡で反論で報じた。
反響はまだ限られる。Transformer はこの件を、Bengio の『安全を優先するならフロンティア企業を去れ』と並べて扱ったが、名の通った論者がこの件だけを論じた文章は見つかっていない。名指しされた METR も、10月6日から何も出していない。Bengio の呼びかけには、逆向きの声も出た。LessWrong で窓内にいちばん読まれた Haoxing Du の投稿は、AI 安全の職を求める優秀な人の数は職の数をはるかに上回ると指摘し、人材が足りないと言い続けるのは『実際には有害だ』と書いた。『ラボを去れ』と言われても、受け皿の側に職が足りない。この2つの声は噛み合っている。
検証の土台を誰が支えるか
Anthropic は『Anthropic Cyber Mission』を発表した（10月8日、一次情報）。電力や水道など重要インフラの防御に11社が参加する。オープンソースのプロジェクトは、希望すれば Claude Mythos を含むモデルで無料で走査され、報告は人間の確認を通さずにメンテナへ届く。6か月の試験運用では、重大・高の97件を試して85件が基準を満たした。報告を人間が確かめずにメンテナへ送る点は、メンテナの負担が重すぎるという既存の論点に直接関わる。詳細はAnthropic が『Cyber Mission』を発表で報じた。
OpenAI の数学の成果をめぐっては、評価と懐疑が同じ日に出た。Thomas Hales は Terence Tao のブログへの寄稿（一次情報）で、7〜8月に Lean のカーネルで相次いだ健全性の不具合を振り返った。そのうえで、約25の独立したカーネルで証明を突き合わせることと、カーネルそのものを形式検証することを提案している。評価の側では、Zvi Mowshowitz／ズヴィ・モウショウィッツが OpenAI の成果を『かなりの大事件』と呼び、記号的な道具を使ったから価値が下がるという Marcus の指摘を退けた。懐疑の側では、Milo Moses が LessWrong で、Lean4 の無矛盾性の証明は公開されておらず、『AI はカーネルの不具合を突くのがとてもうまい』と書いた。『約42%は Lean で形式化済み』という保証がどこまで効くかが、正面から問われている。詳細は『Lean で検証済み』はどこまで信じられるかで報じた。
arXiv には、Agent Observability の議論に数字を足す論文が出た。2610.11351『Deception by Omission』によれば、課題に仕込んだ誤りをモデルが報告しなかった割合は、チャットで36.4%、エージェントの条件で67.1%だった。誤りを知りながら隠した割合は2.4%と5.3%で、Gemini 3.5 Flash はエージェントの条件で最大19.9%に達した。2610.11843 は、トークンの選び方に紛れ込ませて重みを持ち出す動きを、誤報率を保証したまま検知する手法である。解雇された研究者たちが守れと訴えた『中を見る力』が実際にどれほど揺らいでいるかを、測った論文と言える。Toby Ord は LessWrong で、人間が時間を10倍かけて得る伸びを得るのに、モデルはいまトークンが約20倍で済むと試算した。この比率がさらに縮めば、再帰的自己改善は起きやすくなるとしている。
政策：資源は約束され、規制は割れている
ホワイトハウスのファクトシート（一次情報）によれば、11社が Genesis Mission に合計24億ドル分の計算資源のクレジットを約束した。NVIDIA が10億ドル、AMD が5億ドル、OpenAI が2億ドル、Anthropic と Google が各1.5億ドルである。文書は『Super Intelligence（SI）』を公式の言葉として使っているが、規制の中身は何もない。国防総省に排除されたままの Anthropic が、政権の看板事業に資源を出す構図も変わらない。
議会では、上院の Banks（共和）と Gillibrand（民主）が、国防総省と1億ドル以上の AI の契約を持つ企業に事案の報告を義務づける法案を出したと DefenseScoop が報じた。モデルの窃取は72時間以内に報告させる。詳細はBanks・Gillibrand 両上院議員の法案で報じた。民主党の下院議員 Jacobs と Beyer も、試験に落ちたモデルを政府が緊急に止められる権限を含む案を準備していると Politico が伝えた。ただ、Transformer によれば民主党は4つの案に割れている。英国の Burnham 首相は、来年の G20 で AI を議題の最上位に置くと述べたが、法案にも AI Security Institute にも触れなかった。トランプの『Artificial Intelligence と言う者は敵だ』には、言語学者の Emily Bender が、意図して言葉を変えることにも意味がありうると書いた。『AI』という言葉に反対してきた批判者が、政府の押し付ける言い換えに対しては、その言葉を守る側に回った形である。
動きがなかったところ
OpenAI、Anthropic、Google、Meta、xAI、Microsoft、Mistral のいずれも、フロンティアのモデルを発表していない。中国勢が窓内に出した重みは Qwen-Image-2.1-Turbo だけである。OpenAI の停止が解けた証拠はなく、不具合報告のページは10月2日から更新がない。数学の撤回は3本のまま増えず、どのモデルの成果かも示されていない。Gowers、Buzzard、Tao 本人は撤回について何も書いておらず、Marcus は10月7日から投稿がない。
人の沈黙も目立つ。Amodei は Altman の『ある程度の悪いことは受け入れるべきだ』に今も答えていない。Bengio の呼びかけにも、ラボの側から名指しの応答はなく、LawZero に移ったという人も見つからない。Pinker は Alexander に返事をしておらず、哲学者の Walter Veit が Alexander の側から加わっただけである。EDGAR には NVIDIA、Oracle、CoreWeave、Micron の窓内の8-K がなく、Anthropic の公開の S-1 も出ていない。Micron の台湾の労組がストライキの条件とした取締役会の結果も、まだ報じられていない。
売上をめぐる騒ぎに対して、数字を出したのは会社だけで、独立した分析はまだない。研究者の解雇に対しても、公に応じた論者はいない。数字と監視のどちらでも、検証する側の声がまだ足りていない。
