Frontier Math × AI
Claude Fable 5 が、
87 年の宿題に反例を 1 つ置いた日。
1939 年に提示され、80 年以上「たぶん正しい」と信じられてきた代数幾何の予想——Jacobian Conjecture。Anthropic の研究者 Levent Alpoge は、Claude Fable 5 と対話しながらこの予想への具体的な反例（$\mathbb{C}^3 \to \mathbb{C}^3$ の多項式写像 1 つ）を組み上げたと 2026 年 7 月 20 日に報告しました。数式は数行、翌日には第三者が手計算で検算——AI が数学に「反証」を持ち込む筋道が、静かに具体化しています。
The Announcement
「たぶん正しい」を、
1 個の式が崩した
Jacobian 予想は 1939 年、Ott-Heinrich Keller が提示した命題です。多項式写像 $F: \mathbb{C}^n \to \mathbb{C}^n$ のヤコビ行列式（Jacobian determinant）が定数で 0 でないなら、$F$ は多項式写像として大域的に逆写像を持つ——という主張。ForkLog と Gigazine の英語版 は、2026 年 7 月 20 日に Anthropic の Levent Alpoge が Claude Fable 5 との共同作業で $n=3$ の具体的反例を提示したと伝えました。
反例は「予想を主張する構造」への 1 つの穴です。$F: \mathbb{C}^3 \to \mathbb{C}^3$ の多項式写像で、ヤコビ行列式が定数 $-2$（0 でない）——ここまでは予想の前提を満たします。にもかかわらず、この $F$ は大域的に多項式逆写像を持たない。ある次元で 1 個でも反例が出れば、「全次元で成立する」との主張は崩れます。Kingy.ai の解説が強調するのはこの点——「証明の代わりに、反証物件を 1 個提示する」筋の勝負に持ち込んだことです。
| これまでの Jacobian 予想の位相 | Alpoge × Claude Fable 5 の反例 |
|---|---|
| 87 年間、証明の試みは失敗続き | 反例側の 1 個で予想の主張自体が破綻 |
| Smale が「21 世紀の 16 問題」に選定 | 次の焦点は「なぜ既存の部分結果と両立するか」 |
| 計算機実験も反例を出せなかった | AI が候補を絞り、人間が手計算で検算 |
証明の代わりに、
「反証できる物件」を 1 つ持ってこい。
Why This Format Matters
この反例は、
すぐ検算できる形をしている
AI が数学に貢献するとき、最も強いのは「証明」より「離散オブジェクトの提示」です。この事例はその典型です。
候補の生成は Claude Fable 5 が担った
Alpoge は、Fable 5 に「Jacobian 予想への反例をこういう構造で探せ」と対話的な指示を出し、モデルが多項式写像の候補を提示——というループを回しました。数値実験でしらみ潰しに探すのではなく、「反例になり得る形式」を先に絞り込んで生成させるのが AI の強みでした。
絞り込みは Alpoge が担った
候補のうち「本当にヤコビ行列式が定数だが逆写像を持たない」ものを選ぶ判断は、モデル任せではなく数学者が担いました。AI の候補提示 × 人間の適合性判定の分業が、対話ループとして機能したことがこの成果の要点です。
検算は 1 日以内、他の数学者が手計算で
反例は「具体的な多項式 1 個」——代入して計算すれば真偽が決まる離散オブジェクトです。他の数学者コミュニティは 24 時間以内に手計算で検証したと ExplainX.ai は伝えています。正式な査読は残るものの、この速度は「証明論文の査読」では絶対に出ません。
Numbers to Sit With
数字で読む、
この成果の輪郭
大げさなことは言わない方が良い数字です。形式の勝負で「反証物件」を出したのが本質。
注意すべきは「正式な査読は残っている」ことです。ExplainX.ai の解説も強調するとおり、コミュニティによる 24 時間検算は「多項式代入の一次検証」であり、より詳細な代数幾何的整合性のレビューはこれから。反例が確定するまでは「非常に有力な候補」と言うのが正確です。
それでも、この事例が示すのは「AI + 数学者の協働で 離散オブジェクトが 1 個出れば予想は崩れる」というタイプの命題への、実装可能な攻め筋です。証明側の攻めは AI にはまだ厳しいが、反証物件の探索なら現行モデルでも走らせられる、という現実的な線引きです。
Who Should Care
誰に、どう効くのか
「Jacobian」と聞いてピンとこない読者にも、意味のある事例です。パターンは他分野に持ち込めます。
研究者 / 学術界
「AI との対話で候補を絞る」ワークフローの成功例が 1 つ増えた。証明ではなく反例側のオープン問題にはこの手法が刺さる可能性大。
エンジニア（探索問題）
「反例の 1 つで仮説が崩れる」タイプの問題（テスト設計、セキュリティ、SAT ソルバ）に、同じ AI-in-the-loop 型の探索が使える。
プロダクト / 経営
「フロンティア AI が研究の役に立つ」の証拠が 1 個増えた。研究部門への投資議論に、実例として引ける材料になる。
Counter-view / Next
楽観の禁物、
そしてこれから起きること
反対視点を 3 つ。第一に、「Claude が単独で Jacobian 予想を解いた」ではない。Alpoge は数論の一流の研究者で、候補の絞り込みと形式の整合性判定は彼が担いました。AI-in-the-loop の記述を守るべきで、「AI が数学者を代替した」ではありません。第二に、正式な peer review は残っている。過去にも「反例が出た」との報告が数年後に撤回された例があります。慎重な言い回しが妥当。第三に、この方法は「反例で崩せる形の問題」に強く、証明が必要な問題（Riemann 予想など）には そのまま転用できない。技法の適用範囲を過大評価すべきでない。
短期の見通しは 3 つ。（1）他の 30 分野横断の「未解決予想」のリストに、AI-in-the-loop で反例探索を回すチームが増える（数論・組合せ論・グラフ理論などが最初の候補）。（2）Anthropic は "Fable 5 が数学のフロンティアに寄与した" 事例として広報に使い、フロンティア AI と研究支援の統合機能を強化する動きに出る（数学専用のツールセット等）。（3）論文の書き方にも変化——「AI との対話ログを appendix に付ける」慣行が数学 arXiv で広がる可能性がある。
推奨アクションは 3 つ。（1）研究部門のあるチームは、自分たちのオープン問題を "反例で崩せる形" に還元できないかを棚卸しする。（2）Fable 5 / Opus 4.8 級モデルを「候補生成器」として PoC で走らせる社内実験を立てる。（3）AI-in-the-loop の 成果の帰属ルール（誰がどこまで貢献した扱いか）を、社内 / 学術規範レベルで先んじて整理する。次の事例が来る前に決めておいた方が揉めません。