この日、数学界全体が衝撃を受けた。
無数のトップ数学者を挫き、華人天才数学者の張益唐が7年間苦闘し、セブンイレブンで皿洗いを強いられた超難問——ヤコビ予想が、Fable 5によって反証された！
昨日の夕方、Anthropicの研究者Levent Alpogeがツイートしました：
皆さん、ヤコビ予想は誤りです。この質問をしてくれた友人のAkhil、そしてワールドカップ決勝中にも働き続けてくれたもう一人の友人Fableに感謝します。
本文の下に、簡潔な数学式があります。
87年の歴史を持つ核心的な数学の難題が、Fable 5によってある日曜日の夕方、簡単に解決された。
ヤコビ予想は極めて困難な問題である。人類がこれを解決するには、まだ百年かかるかもしれない。あなたの挑戦は称賛に値し、いずれオリンポスの神々があなたを恵んでくれるかもしれない。
ヤコビ予想の反証は、倒れる最初のドミノにすぎず、複数の予想が反証される可能性がある。
数学者ジャレッド・ダーカー・リヒトマンが叫んだように、「これは現代数学で最も感動的な物語の一つです。」
誰かが言っていた、科学界のXが、これほど狂ったような興奮と大きな衝撃に陥っているのを、私はほとんど見たことがないと。
そしてその背後には、張益唐が盗まれた7年がある。
ヤコビ予想とは何か？「当然」と思える罠
まず、時間を1939年に戻しましょう。その年、ドイツの数学者オット＝ハインリッヒ・ケラーは、ある問題を提起しました。
多項式写像のヤコビ行列が非ゼロの定数であるとき、その写像は必ず多項式逆写像を持つだろうか？
実際、この質問の背後にある直感は非常に単純です——微積分において、逆関数定理は、関数のある点におけるヤコビ行列の行列式がゼロでない場合、その点の近傍で局所的な逆関数が存在することを示しています。
ヤコビ予想は、この条件が至る所で成り立ち、関数が多項式写像である場合、逆写像も必ず多項式であるかを問うものである。
これは典型的な「局所から全体へ」の問題であり、当然成立すると見なされてきたが、世界で最も賢い頭脳を87年間悩ませてきた。
2次元バージョンは1884年にすでに提案され、当時は後に脆弱性が発見された証明が付随していた。
手軽に一撃、AIが神級の反例を提示
この問題は単純に見えるが、実際には名実ともに数学のブラックホールである。無数の数学者がこの予想を証明したと主張する論文を発表してきたが、いずれも論理に欠陥があることが判明している。
今週末までに、Claude Fable 5が登場しました。
それは人間の思考に沿って証明するのではなく、直接三次元空間で
中が反例を挙げた：
この複雑に見える多項式写像は、C³からC³へと写像し、そのヤコビ行列式は常に-2であり、非ゼロの定数であるため、予想の前提条件を満たす。
要するに、この反例は恐ろしいほど簡潔で洗練されている。大学の微積分を学んだ新入生なら、偏微分を用いてこの三変数多項式のヤコビ行列が常に-2であることを計算できる。
仮定の条件が満たされた場合、それは可逆ですか？
Fable 5は、この関数が空間内の三つの異なる点：(0, 0, -1/4)、(1, -3/2, 13/2) および (-1, 3/2, 13/2) をすべて同じ像点：(-1/4, 0, 0) に写すことで、その非単射性を明確に示している。
異なる3つの点が同じ結果を導くため、逆関数は存在しない。
このように、広義のヤコビ予想は完全に反証された。
87年の予想が、AIによって「簡単に」解かれてしまった。
ソーシャルメディアでは、衝撃的な数学の教授や大学院生たちがこの反例を検証し合っている。
誰かがWolfram Alphaを使って迅速に検証し、結果が完全に正しいことを確認しました。
しかし、この反例の特別な点は、それが自己証明であることにあります。手計算で検証できるほど簡潔で、その優雅さと正確さは感嘆に値します。
UCバークレー計算機科学・統計学准教授、元Google DeepMind研究科学者であるジェイソン・リーは「数学は完了した。」と断言した。
まもなく、GPT-5.6 はこの結果を迅速に分析し、新たな修正された仮説を提案した：「無限遠点で葉数の損失がない場合、定数ヤコビ多項式の局所的双正則写像は自己同型である。」
OpenAIのAaron Louは、内部Codex（ネット検索なし）を使用して、本質的に同じ反例をゼロから導出し、戦略と証明を完全に記述し、再現可能な数学的導出（三次因数分解からアフィン座標変換まで）を提示した。
それは反例の背後にある構造的メカニズムを特定するとともに、人間がこの問題を再定義する方法を示唆しています。
これは、AIが表面的な模倣ではなく、真の数学的創造力を備えていることを示している。
数学者リヒトマンは、トップの代数学者がGPTが提起した新しい予想にどのように反応するか見たいと驚嘆した。
完全な導出プロセスは以下の通りです：
https://aaronlou.com/jacobian_counterexample_derivation.pdf
データサイエンティストのCal Aldredは、Fable + GPT 5.6 Solを用いて無限の反例を生成する方法を提案した！
張益唐が盗まれた七年
しかし、この物語で最も感慨深い部分は、張益唐に関係している。
誰もが、サブウェイで働いていた数学の天才の話を覚えている。
張益唐は双子素数予想における画期的な貢献で世界に知られるようになったが、それまでの数十年間、彼の経歴は学界における悲劇と呼ばれた。
1990年代初、張益唐はパデュー大学で博士課程を修学し、指導教員は莫宗堅だった。莫宗堅はヤコビ予想が正しいと信じており、張益唐にそれを博士論文のテーマとして取り組ませた。
莫宗堅は張益唐に「補題」——正しいとされる数学的命題——を渡し、それを研究の基盤とした。張益唐はこの路線に沿って深く研究を進め、博士論文では一時的にその予想の弱形を解決したと主張した。
しかし、運命は残酷な冗談を演じた。
同行調査の結果、張益唐の証明で使用された重要な補題は誤りであることが判明した。この補題は、指導教員である莫宗堅自身が以前に発表した学術成果に由来している。
数年かけて構築した理論の大厦が、突然基礎が不十分であることに気づいた。すべての努力、すべての導出が一瞬で崩れ去った。
莫宗堅は張益唐を「代数幾何には向いていない」と評価し、彼の博士課程は「自分自身の7年を無駄にし、私の時間も無駄にした」と考えた。さらに致命的だったのは、莫宗堅が張益唐に推薦状を書かなかったことである。
これは、パデュー大学の博士課程修了者を学術界で立ち往生させてしまう。
張益唐は学界を去らざるを得ず、長い流浪の生活を始めました。さまざまな単発の仕事を経て、最も広く知られているのは、サブウェイのファストフード店で7年間働いたことです。
2013年まで、58歳の張益唐は双子素数予想に関する画期的な論文を発表し、一夜にして無名の大学講師から世界の注目を集める数学者となった。
しかし、無駄にされたその七年の時を、もう二度と取り戻すことはできない。
その後、彼はその時期の自分の気持ちを杜甫の詩で表現した。「庾信平生最蕭瑟、暮年詩賦動江關。」
さらに皮肉なことに、2018年、張益唐が双子素数予想で有名になった際、莫宗堅は特別に「回顧録」の改訂版を追加し、張への批判をさらに強めたが、自身の責任を依然として軽視した。
彼はヤコビ予想の正当性を依然として信じており、AIが近い将来、証明プロセスにおける論理的課題を解決する手助けをすると感じている。
ついに、今日になってAIが簡単な反例を提示しました。
とても残念です。
もちろん、今回AIが反例を示したのは三次元のヤコビ予想であり、「すべての次元で成り立つ」という一般化されたバージョンを否定したものである。
張益唐が当時研究したのは二次元のケースであり、二次元は三次元の単純な低次元版ではなく、むしろこの問題においてより核心的で、現在のところより難解な部分であり、数学的意義が大きく、未だに解決されていない。
しかし、この出来事の衝撃力は一切損なわれていない。
フィールズ賞受賞者であるティモシー・ガワーズは、悲観的で衝撃的な感慨を述べた。「2030年のフィールズ数学賞は、人類に授与される最後のものになるかもしれない。」
参考資料：
https://x.com/search?q=Jared%20Duker%20Lichtman&src=typed_query
本文は微信公众号「新智元」より、著者：ASI启示録、編集：大卫Aeneas