Claude Fableとヤコビ予想の反例

Claude Fableがヤコビ予想を論破

Claude Fableとして知られるAIモデルが、ヤコビ予想に対する反例を生成し、事実上この予想を偽であると証明しました。この結果は2026年7月20日にlevent (@alpoge) によって発表され、$\mathbb{C}^3$から$\mathbb{C}^3$への特定の多項式写像が、定数であるヤコビ行列式を持ちながら単射ではないことを詳細に示しており、これにより予想の要件に違反しています。

反例

反例は、以下の成分で定義される多項式写像 $F: \mathbb{C}^3 \to \mathbb{C}^3$ で構成されています：

• $f_1 = (1+xy)^3 z + y^2 (1+xy) (4+3xy)$
• $f_2 = y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy)$
• $f_3 = 2 x - 3 x^2 y - x^3 z$

数学的特性

発表によると、この写像はヤコビ行列式が-2です。この写像は単射ではないため、予想は論破されました。具体的には、3つの異なる点を同じ出力に送ります：

• $(0, 0, -1/4) \to (-1/4, 0, 0)$
• $(1, -3/2, 13/2) \to (-1/4, 0, 0)$
• $(-1, 3/2, 13/2) \to (-1/4, 0, 0)$

これらの特性の検証はWolfram|Alphaを使用して行われ、Lean (Mathlib) での形式化の試みが始まっています。

より広範な数学的影響

ヤコビ予想は数学的に他の主要な問題と結びついているため、その論破は関連する予想へのドミノ効果をもたらします：

• Dixmier Conjecture: 第3のWeyl代数に関するDixmier予想は、現在、論破されたと考えられています。
• Poisson Conjecture: Poisson予想も、ヤコビ予想との等価性により、一般的に偽であると示唆されています。

AIによる発見プロセスへの分析

合成 vs. 総当たり

Claude Fableがどのようにしてこの結果に到達したかについては、大きな議論が行われています。一部の観察者は、モデルが過去の失敗した証明や惜しい結果の膨大なコーパスから反例を合成した可能性を示唆していますが、他の者は、多項式族の非常に効率的で非線形な探索を行ったと推測しています。

ある評論家は、発見の効率性について次のように述べています：

"Claude Fableが3次式で反例を見つけられたということは、私にとって正気の判断とは思えません... [他の人々]は、約16変数の多項式を総当たりで探索していました... 下限を推測して... 200まで上がっていました。"

人間とAIの協働

モデルが結果を生成しましたが、発見は共同作業でした。発表では、質問を提示した「akhil」と、計算作業を行った「fable」に謝辞を述べています。これは、「math-vibe coding」という、研究者がAIを使用して発見の候補を生成し、その後、時間の大部分を検証と妥当性の確認に手動で行うという、高まりつつある傾向を強調しています。

コミュニティの反応と論争

発表は、数学の未来と形式的な発見におけるAIの役割について、議論を巻き起こしています：

• 「Crank Graveyard（素人による誤った証明の墓場）」: ヤコビ予想は、数十年にわたり素人による誤った証明が大量に提出されてきたため、「典型的なcrank graveyard」と表現されています。この発見は、特に感慨深いものです。なぜなら、1990年代にコンピュータ探索で数日間の探索を行えば大学院生が見つけられたかもしれない結果が、代わりにLLMによって見せ出されたからです。

• 数学の状態: 一部の数学者は、最前線のモデルが現在の人間によるインフラストラクチャでアクセス可能なすべての問題を迅速に解決してしまうことを懸念しており、数学を「オラクル（神託）」の解釈へと変貌させる可能性があると考えています。

• 検証の遅れ: ユーザーは、AIがこれらの結果を即座に生成できる一方で、人間がそれらを検証するために必要な労力は相当なものであると指摘しています。ある研究者は、「検証には、発見の生成よりも多くの時間がかかっています」と述べています。