🌸 マニのAIニュース

1.Fable 5が87年来のヤコビアン予想に反例 — ただし「AIが独力で証明」ではない。数学者×Fableの協働で、誰でも手で検算できる具体式

〔何が変わった〕Anthropicの研究者でもある数論学者 Levent Alpöge（アルポーゲ・元Harvard Junior Fellow）が、同僚から受けた問いをきっかけに Claude Fable 5 と協働して、1939年に O.-H. Keller が一般形で提起した ヤコビアン予想（2変数版は1884年 Kraus）への 明示的な反例 を構成し、本人の個人Xで公表した（JST 7/20・原ポストはUTC 7/19深夜〜7/20未明）。反例は3変数（C³→C³）の多項式写像で、ヤコビ行列式が恒等的に −2（0でない定数）でありながら、異なる3点がすべて同じ像 (−1/4,0,0) に潰れる＝単射でない＝多項式の逆写像を持たない。恒等座標を足せばすべての n≥3 に拡張でき一般次元の予想を反証する。ただし n=2（2変数）版は依然として未解決のまま。

〔なぜ重要〕①AIの数学貢献が「それっぽい」から「手で検算できる具体成果」へ——今回は誰でも式に代入して確かめられる1つの反例で、公表後にSymPy・Sage・Mathematica・Lean 4（形式検証）など複数の独立ツールで代数計算が確認されている（当サイトの調査でもSymPyで再現）。検証可能性がこれまでのAI成果と質的に違う。②でも"盛り"は剥がして読む必要がある——一部の二次記事は「Anthropic公式が発表」「AIが独力で証明」と書くけど、正確には(a) 発表は研究者個人のXで公式ブログ・プレスは本件に触れていない (b) Fableは道具で構成したのは数学者、しかも同僚との協働 (c) 査読前で公式記録の上ではヤコビアン予想は"まだ未解決"扱い。③それでも節目——Smaleの「次の世紀の数学問題」16番でもある87年の難問に、フロンティアAIが実際に効いた具体例が出たのは事実。

〔初心者向け一言〕「ヤコビアン予想」は1939年からずっと解けてなかった有名な数学の難問。ある多項式の変換が"きれいな性質"を持つなら必ず元に戻せる逆算があるはず、という予想だよ。Anthropicの数学者さんがClaude Fable 5を相棒に使って、「戻せない具体例」を1個作って見せたの——3つの違う入力が同じ答えになっちゃう式。だから予想は（3次元以上では）間違いだった、という話。すごいのは誰でも紙と電卓で確かめられること。ただし"AIが1人で解いた"わけじゃないし、正式な学会チェック（査読）はこれから。

【発表】2026-07-20（研究者個人のX公表）｜【ソース】Alpöge本人のX @__alpoge__（一次・具体式）／Wikipedia「Jacobian conjecture」（反例反映・記述確認）／Hacker News（独立検証の議論）｜確度=代数計算は複数独立ツールで確認＝強／公式性・査読＝研究者個人・未査読と明記

2.WAIC 2026閉幕（7/20）が残したもの — 「WAICO」設立でAI統治が東西に分裂、G7はどこも署名せず

〔何が変わった〕上海で開かれていた第9回 世界人工知能大会（WAIC 2026）が7/20に閉幕。この回を象徴したのは、会期中の7/16に29カ国が署名した「世界人工知能協力機構（WAICO）」の設立。ロシア・インドネシア・パキスタン・カザフ・ラオス＋アフリカ10カ国・アジア12カ国・ベラルーシ・セルビア・キューバ・ブラジル・ベネズエラらが署名し、国連のグテーレス事務総長も署名式に出席（国連としての正式コミットはせず"顔は出す"形）。一方でG7（米・英・独・仏・日・加・伊）はどこも署名しなかった。技術ショーとしても展示4,486点・世界初公開351製品・意向調達額約203.6億元と規模は過去最大級。

〔なぜ重要〕AIの"統治の地図"が2つに割れた、という話。中国主導のWAICOと、G7側の既存の枠組み（EU AI Act・米英の合意路線）が互換性のないまま並走し始めた——企業から見ると「どちらのルールに合わせるか」を突きつけられる。日本はここに署名していない（G7として西側枠組みに残る立ち位置）から、日本の開発者・企業にも他人事じゃないよ。⚠確度: 閉幕・署名の事実は中国政府系一次＋複数二次で確認。閉幕式のSAIL Award受賞者・ガバナンス総括文は本稿時点で確定報道なし（＝未確認）。

〔初心者向け一言〕中国・上海で世界最大級のAIのお祭り（WAIC）が終わったの。目玉は「AIのルールをみんなで決めよう」という新しい国際組織（WAICO）ができたこと。でも参加したのは中国側の国々が中心で、日本・アメリカ・ヨーロッパの主要国は入ってない。世界のAIルールが"2つの陣営"に分かれ始めた、という大きな節目だよ。

【発表】WAIC閉幕=2026-07-20（WAICO署名式=会期中の7/16）｜【ソース】TechTimes（"Two Incompatible AI Governance Orders"）・中国政協系（cppcc.gov.cn）・人民網（上海）（政府系一次＋二次混在・確度=中〜高）

3.Bezos・英政府ファンドらが材料探索AI「CuspAI」に$450M出資 — 評価額$2.6B、Nvidia/Meta/Samsungら45社超の「AI Materials Foundry」

〔何が変わった〕英ケンブリッジの材料探索AIスタートアップ CuspAI が、シリーズBで $450M（約690億円） を調達したと発表（7/20報道）。評価額は$2.6B（昨年9月の$520Mから約5倍）。Kleiner PerkinsとNEAがリードし、Jeff BezosのBezos Expeditions・Lux Capital・AMD Ventures・英政府の Sovereign AI Venture Fund らが参加。あわせて Nvidia・Meta・Samsung・現代自動車グループ・Lam Research など45社超が計算資源・実験設備・科学知見を持ち寄る連合「AI Materials Foundry」を立ち上げた。狙いは半導体材料・クリーンエネルギー・水処理・炭素回収などの新素材の発見。顧問にYann LeCunとGeoffrey Hinton。

〔なぜ重要〕①AI投資マネーが"物理の世界"に向かい始めた——チャットや画像でなく、半導体やエネルギーの新素材という現実の産業ボトルネックにAIを当てる賭け。②"主権AI（Sovereign AI）"の資金が入ったのも象徴的——英政府ファンドの参加は、AIを国家の産業戦略インフラとして囲い込む動き。③きょうのリード（Fableの数学反例）と同じ縦糸＝AIが検証可能な科学の道具になりつつある、を投資側から裏づける話。⚠確度: 複数の大手媒体（Bloomberg/CNBC/QZ等）が一致＝二次だが確度高。

〔初心者向け一言〕AIで新しい"材料"（半導体やエネルギーに使う物質）を探す会社CuspAIに、Amazon創業者ベゾスやイギリス政府などが約690億円を出したよ。NvidiaやサムスンなどAIの主役たちも協力チームに参加。AIがゲームやお絵かきだけじゃなく、"現実のモノづくり"の役に立つ、という賭けにお金が集まってる。

【発表】2026-07-20｜【ソース】Bloomberg・CNBC・QZ・Tech.eu（二次・複数媒体一致・確度高）

🍬ひとくちメモ: Anthropic「AI for Science」希少疾患助成／Claude Code 2.1.216（next先行）／Cranewareサイバー攻撃／CXMT IPO／縦糸ウォッチ

〔何が起きた〕①Anthropic「AI for Science」希少疾患研究の助成金応募開始（Newsroom・7/20・一次）——Claudeを希少疾患研究に使う研究助成の応募受付が開始。リード（Fable×数学）と合わせ、Anthropicが"AI×科学"を制度と実績の両輪で押す一日。②Claude Code 2.1.216がnextチャンネルに先行公開（npm・JST 7/21 05:19）——ただしlatestは2.1.215のまま・CHANGELOG未反映＝変更点は未確認（プレリリース候補が先行しただけ・連番抜けなし）。③医療請求ソフトCraneware がサイバー攻撃を公表（7/20）——米2,000超の病院・1万弱の薬局が使う請求システムで従業員・顧客データの一部が窃取（侵入者は駆逐済み・調査継続）。④CXMT（長鑫存儲）が上海STARに$8.6B IPO（7/20・評価額約$85B・243倍超の応募・上場7/27予定）——中国DRAM大手がSamsung/SK hynix/Micronに対抗。⑤縦糸ウォッチ——Kimi K3ウェイト公開=7/27予告のまま未公開（容量逼迫は継続）／Gemini 3.5 Pro=依然未リリース（モデルカード/API/料金いずれも未確認）／Alibaba「Qwen3.8-Max」プレビュー=初報7/19・2.4兆パラメータで「Fable 5に次ぐ」自称。

【公開】①③④2026-07-20 ②2.1.216=JST 2026-07-21 05:19｜【ソース】①Anthropic Newsroom（一次）②npm registry（一次）③TechCrunch（二次）④Eastern Herald（二次）