ヤコビアン予想の反例が見つかった
今回の出来事の概要
ヤコビアン予想がそもそもどんな問題なのか、そこにClaude Fable 5がどう関わったのかから見ていきます。
ヤコビアン予想とは（1939年・87年の難問）
ヤコビアン予想は、1939年にドイツの数学者オットー＝ハインリヒ・ケラーが提唱した、多項式写像に関する未解決問題です。おおまかに言えば、ヤコビアン行列式（写像の局所的な変化の割合を表す量）がゼロでない定数になる多項式写像は、多項式による逆写像を持つ（きれいにもとへ戻せる）はずだ、という主張でした。ところが、局所的には条件を満たしていても写像全体でもとに戻せるとは限らない。この落とし穴が曲者で、予想は87年ものあいだ解かれずに残ってきました。
"The Jacobian conjecture was set out by Ott-Heinrich Keller in 1939. In rough terms, it says that a certain kind of polynomial map, one whose Jacobian determinant is a non-zero constant, must be reversible with a neat polynomial inverse. It became one of the field's most stubborn open problems." — 本文より
Claude Fable 5が反例探索を補助した
Anthropicの研究者 Alpöge 氏が反例を見つけたと公表したのは、2026年7月20日でした。本人のX投稿に、Claude Fable 5の助けを借りたという言葉とともに数式が載っています。投稿は口語体で、問題を持ちかけた友人と、探索を担ったFable 5への謝辞から始まっていました。押さえておきたいのは、AIが単独で難問を解いたわけではない、という点です。数学者が研究の協働者としてFable 5を使い、関わった数学者の一人は「一行のプロンプトで済むものではなかった」と述べています。
"hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final" — Alpöge氏のX投稿より
反例の中身は誰でも検算できる
反例の多項式写像（Alpöge氏の投稿より）
(1+xy)³z + y²(1+xy)(4+3xy),
y + 3x(1+xy)²z + 3xy²(4+3xy),
2x − 3x²y − x³z
) （写像 F：ℂ³ → ℂ³、ヤコビアン行列式は至る所で −2）
この数式がなぜ予想を崩すのか、そしてなぜ誰でも確かめられるのかを見ていきます。
ヤコビアン行列式は定数なのに単射でない
この写像は、ヤコビアン行列式がどの点でも −2 という定数（ゼロでない）になり、予想が前提とする条件を満たします。ところが、次の3つの異なる入力が、すべて同じ出力 (−1/4, 0, 0) に写ります。入り口が3つあって出口が1つなら、もとの入力を一つに絞り込むことはできません。局所的には条件を満たすのに、全体では逆写像を持たない。予想の急所をそのまま突いた反例です。
3つの入力が同じ出力に写る（単射でない証拠）
"passes the local check at every point, yet it sends three different input triples to the same output" — 本文より
Wolfram Alphaで代入検算できる
この反例が注目されるのは、正しさを確かめるのに高度な理論がいらないからです。示された数式に上の3つの数値を代入するだけで、誰でも同じ結論にたどり着けます。Alpöge氏はWolfram Alphaで計算を再現できるリンクまで添えており、世界中の数学者が公開直後から独立に検算を進めました。査読前とはいえ、計算そのものは各自の手で検証できる。だから真偽をめぐる不確かさは小さいのです。
"Alpoge included Wolfram Alpha links where the calculations can be reproduced." — 本文より
ピアレビュー前という位置づけと評価
受け止め方（報道より）
大きな成果ではあります。ただ、どこまでを「確定」と見るかは慎重に切り分けたいところです。
反例1個の提示であり査読はこれから
いま確定しているのは、「反例が1つ提示され、初期の検算をパスした」ところまでです。正式な査読はこれからで、詳細な論文も後日公開されるとされています。反例が見つかったことと、予想がなぜ偽なのかを理論的に解き明かすことは、別の話です。今回はあくまで、具体的な反例が1個見つかった段階にとどまります。
"A full write-up, he added, will follow." — 本文より
専門家の評価は分かれている
評価は一様ではありません。「LLMが解決した最も有名な未解決問題だ」と称賛する数学者がいる一方で、「AIが得意な作業の範囲であり、自分の見方を変えるものではない」と冷静に受け止める声もあります。多項式を大量に調べる作業は、人間には骨が折れても機械には難しくない、というわけです。画期的なのは間違いない。ただ、理論を深めたのではなく計算の物量で崩した例でもある。この両方の見方が並んで存在しているのが、今の状況です。
"This did not cause me to update my priors. This is exactly what he expects AI to be good at." — Andrew Blumberg 氏の評価より
まとめ｜AIが数学者の協働者になった一例
87年続いたヤコビアン予想に、Claude Fable 5を使う数学者が具体的な反例を1つ見つけた。今回の報告は、ここに尽きます。反例は誰でも代入して検算でき、真偽の不確かさは小さい。ただし正式な査読はこれからで、予想がなぜ偽なのかまで解き明かしたわけではありません。AIが単独で難問を解いたというより、数学者が探索の相棒としてAIを使い成果を出した。そう見るのが実態に近いはずです。Claudeのモデル構成はClaude Fable・Opus・Sonnet・Haikuの比較記事もあわせてご覧ください。
