数学者がClaude Fable 5と数時間でヤコビアン予想を覆した話

ChatGPTやClaudeに毎日質問しているのに、同じところをぐるぐる回っている感覚、ありませんか。

数学のニュースですが、身構えなくて大丈夫です。

中身を開けると、会社員の日常のAI活用とほぼ同じ骨格をしています。

ある数学者がClaude Fable 5と組んで、87年間誰も解けなかった数学の難問を、数時間で覆したのです。

87年間誰も解けなかったヤコビアン予想にAIが挑んだ

「ヤコビアン予想」というのは、1939年にケラーという数学者が提示して以来、87年間、世界中の数学者が挑んでは決着をつけられなかった有名な未解決問題です。

87年というと、なかなかピンとこない長さかもしれません。

大学を出てから定年まで働いても、まだ足りないくらいの長さです。

ざっくり言えば「ある種の計算のルールを満たす式は、必ず逆算できるはずだ」という予想です。

正しさが証明されれば大ニュースですが、逆に「たった1つでも成り立たない例(=反例)が見つかれば、予想は崩れる」という性質があります。

その反例が2026年7月20日、ついに見つかったと発表されました。

しかも、発見までにかかった時間はたったの数時間。

主役はレヴェント・アルポゲさんという数学者です。

現在はAnthropicで数論を研究していて、ハーバード大学のSociety of Fellowsで研究員を務めた経歴もあります。

そこにAnthropicの上位モデルClaude Fable 5が組み合わさりました。

友人に頼まれた数学者アルポゲさんが立てた問い

きっかけは、友人の数学者に「この問題、どう思う?」と聞かれたことだったそうです。

学会発表や大規模な研究プロジェクトのような大掛かりなものではなく、雑談に近い問いかけです。

アルポゲさんは「ちょっと試してみるか」と、Claude Fable 5に条件を設定し、反例になりそうな式の候補を探させ始めました。

「87年誰も解けなかった問題を、いま試してみるか」で始まる軽さが、この話のいちばん面白いところです。

ワールドカップ決勝の裏でAIが動き続けていた

さらに面白いのがここからで、Claude Fable 5に問題を投げたのは、ちょうどワールドカップ決勝が行われていた時間帯だったそうです。

テレビの前で試合を追いながら、Fable 5には式の候補を生成させ続けていた、というわけです。

決勝の熱気が落ち着く頃には、モニターには反例らしき式が並んでいました。

AIに任せている間に、自分は別のことをしていた。

数学の最先端でも、AI活用の型は驚くほどシンプルでした。

けれど、その式がいったい何をひっくり返したのか、ここからが本題です。

ヤコビアン予想の反例とはどういうことか

「反例」と言われた瞬間、つい構えてしまった方もいるかもしれません。

数学用語が出てくると、急にハードルが上がりますよね。

ここは思い切って、いちばん核となる1点だけに絞ります。

3つの違う入力が同じ答えにたどり着いてしまった話

想像してみてください。

3人がそれぞれ違う電話番号を押したのに、なぜか全員が同じ相手につながってしまう。

普通なら、そんなことは起こらないはずですよね。

見つかった反例の中身は、これと同じ構造でした。

3つの違う入力を式に入れたのに、まったく同じ答えが出てきてしまったのです。

本来、この予想が正しければ、そんな事態は起こらないはずでした。

でも、Claude Fable 5とアルポゲさんが見つけた式では、それが起こる。

つまり、予想の前提が崩れる例が実在した、ということです。

技術的には「3つの変数を持つ多項式」や「行列式が定数マイナス2」といった細かい条件がついていますが、感覚としては電話番号のたとえだけつかんでおけば十分です。

なお、今回崩れたのは変数が3つ以上のケースで、いちばん古くから研究されてきた変数2つのケース(平面のバージョン)は、今も未解決のまま残っています。

世界中の数学者がすぐに確かめられたシンプルさ

もう1つ驚くのが、見つかった反例が3行程度で書けるほど短かったことです。

短いから、多くの数学者がその日のうちに自分の手元で「本当に成り立つか」を確かめられました。

発表された数時間後には、独立した数学者たちが「確かに反例になっている」と次々に確認していきました。

複雑で長い証明だと検証に何ヶ月もかかりますが、今回は誰でもすぐに追試できるシンプルさが、この反応の速さを生んだわけです。

ここで、ひとつ確認しておきたいことがあります。

この発見、本当に「AIがひとりで解いた」と言い切っていいものなのでしょうか。

AIが解いたのではなくAIと数学者が協働した話

このニュースだけを見ると、つい「AIが数学の未解決問題を解いた」と読みたくなります。

ですが、それは半分だけ正しくて、半分は違います。

アルポゲさんが立てた問いにAIが応えるという関係

実際に起きたことは、こういう分担でした。

1つ目、アルポゲさんが「どの角度から反例を探すか」の方針を立てた。

2つ目、Claude Fable 5がその方針に沿って候補となる式を大量に生成した。

3つ目、出てきた候補をアルポゲさん自身が数学的に検証した。

4つ目、正当性の形式化(コンピュータで厳密にチェックできる形にする作業)は、別の数学者が担当した。

AIが1人で解いたのではなく、「問いを立てる人」「候補を出す道具」「検証する人」「形にする人」がそれぞれの役割を果たした結果です。

もしアルポゲさんが「どの方向を探せばいいか」を知らなかったら、Fable 5にいくら聞いても反例は出てこなかったでしょう。

道具は強力ですが、どこへ向かって進むかを決めるのは人間、というのが変わっていない部分です。

査読前でも数学界がすぐに反応した理由

この反例はまだ正式な学術論文としての査読(専門家による検証プロセス)を通っていません。

それでも、すでに多くの数学者が手元で確認を終えていたこともあり、査読前の段階で事実上の「発見」として世界中に広まりました。

「AIが証明を書き上げて、あとは通知を待つだけ」という話ではなく、「AIが出した候補を、人間の数学者たちが総出で確かめている」という話の方が、実態に近い描写です。

この役割分担、実は数学の世界だけの話では終わりません。

この発見から会社員が学べるAIとの付き合い方

「87年の難問」と聞くと、自分の仕事とは遠い世界の話に感じるかもしれません。

でも今回のエピソードを分解すると、日々の業務にそのまま重なる形が見えてきます。

難問もAIに任せて自分は別のことをするという発想

いちばん印象的なのは、「ワールドカップ決勝を観ている間にAIが動いていた」という時間の使い方です。

数学の未解決問題を解こうと思ったら、朝から晩まで机に張りついて頭を絞るのが普通のイメージです。

でもアルポゲさんは、Claude Fable 5に条件を設定したあと、試合を追いながら候補の生成を並走させていた。

議事録の下書き、リサーチの初稿、メール文面のたたき台。

自分の仕事だったら、どれに置き換えられるか、ちょっと考えてみてください。

会社員の日常業務でも、「これAIに任せておいて、自分は別のことをする」という設計は、まったく同じ考え方でできます。

87年誰も解けなかった問題ですらこの型で回っている、という事実は、明日の会議準備をAIに丸投げしていい自分の背中を押してくれます。

日々の仕事にも応用できるAIとの協働のコツ

もう1つ大事なのは、「問いの立て方」と「出てきたものの見極め」が人間の仕事として残った、という点です。

これは普段の業務でもまったく同じです。

いわば、後輩に下調べを振って、最終判断は自分がするのと同じ感覚と言えます。

たとえば競合調査をAIに頼むとき、「うちの製品と何が違うか、価格・機能・ターゲットの3軸で表にして」と、切り口までこちらから指定した方が精度が上がります。

これがアルポゲさんの「方針を立てる」に相当します。

そして返ってきた表を見て、「この分類はうちの営業視点ではズレる」「この数字は最新じゃない」と判定する。

これが「候補を検証する」に相当します。

AIに問いを丸投げして出てきたものをそのまま使うだけだと、この2つの仕事が抜け落ちます。

自分のドメイン知識を「問いの設計」と「出力の判定」に使えるようになると、AIの使い方が一段変わる感覚があります。

まとめ Claude Fable 5とヤコビアン予想が教えてくれること

今回のニュースの読み方は、「AIが天才数学者を超えた」ではなく「人間の問いとAIの候補生成が組み合わさると、こんな規模の仕事も動く」の方だと感じています。

問いを立てた数学者アルポゲさん、その方向で候補を出したClaude Fable 5、手元で検証を回した多くの数学者。

3者の役割分担が噛み合ったから、87年動かなかった問題が数時間で動きました。

自分の業務でも、「問いを設計する」「AIに任せる」「出てきたものを判定する」の分担を意識するだけで、AIとの付き合い方は一段変わります。

次にAIへ何か頼むとき、いきなり丸投げする前に、自分なりの切り口を少し添えてみてください。

それだけで、今回の発見と同じ型を自分の仕事でも試したことになります。

ワールドカップ決勝を観ながらの発見が、明日の議事録づくりのヒントになる。

そんな時代に、もう入っているんだと思います。