ヤコビ予想が偽であることを証明
xcancel.com
2026年7月22日 (水)
- •ユーザーのleventがヤコビ予想が偽であることを示す反例を発表した。
- •この証明はAIモデル「Claude Fable」の支援を受けて開発された。
- •反例はC^3からC^3への多項式写像で、ヤコビ行列式は-2である。
ユーザーのlevent（@__alpoge__）は、数学上の未解決問題であったヤコビ予想が偽であると発表した。この発見は、AkhilとAIモデル「Claude Fable」の支援のもと、ワールドカップ決勝戦の最中に行われたものである。
提示された反例は、C^3からC^3への多項式写像として定義され、ヤコビ行列式が-2となる。この写像は、(0, 0, -1/4)、(1, -3/2, 13/2)、(-1, 3/2, 13/2)という各点を(-1/4, 0, 0)に写す。この発表はHacker Newsで大きな注目を集め、2026年7月20日時点で776ポイント、484件のコメントが寄せられている。