ヤコビアン予想が偽だった？AIが反例を提示#
数学の長年の未解決問題「ヤコビアン予想（Jacobian Conjecture）」の反例が、AIモデル「Fable」によって提示されたとして、数学・AI界隈で大きな話題を呼んでいる。これを報告したのはXユーザーの「levent（@alpoge）」氏で、2026年7月20日（UTC）に投稿した。
発見の経緯：ワールドカップ決勝中の出来事#
levent氏によると、友人の「akhil」氏がこの問題について質問したことがきっかけとなり、もう一人の友人である「fable」（AIモデル）がワールドカップ決勝の最中に計算を行い、反例を導き出したという。氏はその経緯をユーモラスに「ワールドカップ決勝中に働いてくれた」と表現している。
提示された反例の内容#
levent氏が示した反例は、複素3次元空間 $\mathbb{C}^3$ から $\mathbb{C}^3$ への以下の多項式写像だ。
F = (
(1+xy)^3 z + y^2(1+xy)(4+3xy),
y + 3x(1+xy)^2 z + 3xy^2(4+3xy),
2x - 3x^2y - x^3z
)この写像は以下の2つの重要な性質を持つとされている。
- ヤコビアン行列式が定数 -2（至るところで一定のゼロでない値）
- 単射（1対1）でない：異なる3点 $(0, 0, -1/4)$、$(1, -3/2, 13/2)$、$(-1, 3/2, 13/2)$ がすべて同じ点 $(-1/4, 0, 0)$ に写される
ヤコビアン予想とは、簡単に言えば「多項式写像のヤコビアン行列式が至るところでゼロでない定数であれば、その写像は全単射（可逆）であるはず」という命題だ。今回の反例では、ヤコビアン行列式が定数（-2）であるにもかかわらず、写像が単射でないことが示されており、これが事実であれば予想が「偽」であることを意味する。
氏はWolfram Alphaを用いてヤコビアン行列式の計算および複数の点での値の検証を行ったことも合わせて投稿している。
独立した検証の試みと注目のリプライ#
この投稿には約186万インプレッションが集まり、数学者やAI関係者から多数の反応が寄せられた。
リプライユーザーの「@s3nhxx」氏は、シンボリック展開・数値的有限差分・手計算による偏微分を用いた有理数演算の3つの独立した方法で検証を行ったと報告しており、「いずれもヤコビアン行列式が至るところ -2 であること、およびFが真に単射でないことを確認した」とコメントしている。
また、「@NinzaK40245」氏は、今回示された衝突点が孤立したものではなく、パラメータ $r \in \mathbb{C}^\times$ に関する1パラメータ族の三重ファイバーが存在することを指摘した。
さらにlevent氏自身は、リプライの中で「ディクスミア予想（Dixmier Conjecture）やポアソン予想（Poisson Conjecture）も偽になると思う」とコメントしているが、「ヤコビアン予想の方が広く知られているのでそちらを先に投稿した」とも述べている。
数学者の「@ColmezPierre」氏（Pierre Colmez氏）は「2次元の場合にも同様の例はあるか？」と質問しており、研究コミュニティからの関心の高さがうかがえる。
なぜこのニュースが重要なのか#
ヤコビアン予想は数十年にわたって多くの数学者が挑戦してきた難問であり、「ニセの証明が量産されるカルト的な墓場問題」とlevent氏自身が表現するほど、歴史的に多くの誤った証明・反証が提出されてきた問題だ。もし今回の反例が正しいと確認されれば、それ自体が数学史上の大きな出来事となる。さらに、その反例をAIが導き出したという点も、AI研究コミュニティにとって注目に値する。
まとめ#
levent氏のXへの投稿によると、AIモデル「Fable」がワールドカップ決勝中にヤコビアン予想の反例を提示した。提示された多項式写像はWolfram Alphaや複数の独立した手法で部分的に検証されているが、査読付き論文などによる正式な数学的検証が完了したかどうかは、本ソースからは確認できない。詳細は元記事を参照のこと。
筆者の見解: もしこの反例が正式に検証されれば、AI数学研究の新たなマイルストーンとなりうる出来事だ。今後の数学コミュニティによる詳細な検証の動向が注目される。
出典: Claude Fable produced a counterexample to the Jacobian Conjecture
