Claude Fable「ヤコビアン予想の反例」の中身｜検証状況と示唆

Anthropicの数論研究者レヴェント・アルポージ氏が、Claude Fableとの共同作業で1939年から未解決だったヤコビアン予想(Jacobian Conjecture)の反例とみられる具体的な多項式を公開したが、査読を経た確定判断はまだ出ていない。

この記事の要点

• 要点1: Anthropicの数論研究者レヴェント・アルポージ氏が、3変数の多項式写像でヤコビ行列式が定数-2になるにもかかわらず、3つの異なる点が同じ点に写ることを示す式をXで公開した
• 要点2: 複数の数学者が独立にSymPy・Sage等で計算を再現し「行列式が-2になること」「3点が同じ出力に衝突すること」自体は確認済みだが、論文としての査読・形式検証は2026年7月21日時点でまだ行われていない
• 要点3: Hacker Newsでは638ポイントを集める一方、AIとの対話ログ非公開への懐疑論やウィキペディアの即時書き換えへの異論も出ており、「反例が確定した」と断定するには早い状況

対象読者: AIの研究支援能力に関心がある経営者・研究開発部門責任者、AI導入を検討する企業の技術担当者

読了後にできること: 「AIが数学の未解決問題を解いた」という報道に接したとき、何を確認すれば良いかの判断軸を持ち、自社のR&D現場でのAI活用検討に活かせるようになる

「87年間誰も解けなかった数学の予想に、AIが反例を出した」——そんな見出しが2026年7月20日、Hacker Newsとx(旧Twitter)を駆け巡りました。話題になっているのは、Anthropicの数論研究者レヴェント・アルポージ氏が、同社の推論モデルClaude Fable(通称Fable 5)との共同作業で見つけたと発表した、ヤコビアン予想(Jacobian Conjecture)の反例です。

直前にお伝えした「GPT-5.6が凸最適化の30年来のギャップを埋めた」という報告と同じ週に、また一つ「AIが数学を解いた」系のニュースが飛び込んできた形です。ただし今回は事情が少し異なります。アルポージ氏が公開したのは抽象的な証明の概要ではなく、誰でも代入して検算できる具体的な多項式そのものだったからです。

この記事では、実際に何が発表されたのか、どこまでが検算で確認済みでどこからが未確認なのか、そして企業がこの種のニュースとどう向き合うべきかを、煽らずに整理します。

何が起きたのか——反例発表の全体像

まず時系列で事実関係を整理します。

アルポージ氏の投稿本文は、数学的な発表というより研究者同士の私信のような文体でした。「こんにちは、ヤコビアン予想は誤りでした。この問題について尋ねてくれた親友のアキルと、ワールドカップ決勝戦の間も一緒に作業してくれたもう一人の親友フェイブル(Claude Fable)に感謝します」という趣旨の書き出しに続けて、具体的な多項式を書き下しています。

F(x, y, z) = ( F1, F2, F3 )  ：C^3 → C^3

F1 = (1+xy)^3 z + y^2(1+xy)(4+3xy)
F2 = y + 3x(1+xy)^2 z + 3xy^2(4+3xy)
F3 = 2x - 3x^2 y - x^3 z

ヤコビ行列式 = -2 (定数、各成分の次数は7・6・4)

F(0, 0, -1/4)     = (-1/4, 0, 0)
F(1, -3/2, 13/2)  = (-1/4, 0, 0)
F(-1, 3/2, 13/2)  = (-1/4, 0, 0)

3つの異なる入力((0, 0, -1/4)、(1, -3/2, 13/2)、(-1, 3/2, 13/2))が、すべて同じ出力(-1/4, 0, 0)に写る——これは、この写像が単射(1対1の対応)ではないことを意味します。もしこの計算が正しければ、ヤコビ行列式がどの点でも非ゼロの定数であっても、その多項式写像が可逆(多項式の逆写像を持つ)とは限らない、つまりヤコビアン予想が偽であることを示す反例になります。

直前の週に話題になった「AIが数学を解いた」系の報告としては、GPT-5.6「凸最適化30年ギャップ解消」の中身｜検証状況と企業への示唆もあります。あわせて読むと、今回の一件を「またか」と切り捨てるべきか、それとも過去の事例とは違う点があるのか、判断材料が増えるはずです。

「ヤコビアン予想」とは何か——非専門家向けにかみ砕く

ヤコビアン予想(Jacobian Conjecture)は、1939年にドイツの数学者オットー・ハインリッヒ・ケラーが提唱した、代数幾何学の未解決問題です(2変数の場合はすでに1884年にルートヴィヒ・クラウスが言及していたとの調査もあります)。中身を一言でいうと、「複数の変数を使った多項式の組み合わせで、別の複数の多項式に変換する”写像”を考えたとき、その変換の”局所的な伸び縮みの度合い”を表すヤコビ行列式が、どの点でもゼロにならない一定の値であれば、その変換は必ず元に戻せる(多項式の逆変換を持つ)はずだ」という主張です。

行列式や偏微分といった言葉が出てきますが、要は「変換の”歪み具合”が至るところで一定値なら、その変換はきれいに巻き戻せるはずだ」という、直感的には自然に思える主張です。この予想は「大学の微積分の知識があれば理解できるのに、80年以上誰も解けなかった」問題として、数学者の間で長く語り継がれてきました。

一方でこの予想は、”誤った証明が繰り返し発表されてきた問題”としても知られています。ウィキペディアの解説でも「発表・未発表を問わず、微妙な誤りを含む証明が数多く存在したことで悪名高い」と紹介されています。今回の反例騒動も、その長い”誤答の歴史”の延長線上にある出来事として受け止める必要があります。

なお、ヤコビアン予想は変数の数(次元)ごとに議論されており、1変数の場合はすでに自明に正しいことが分かっています。今回アルポージ氏が発表したのは3変数(3次元)における反例です。数学的には、ある次元で反例が見つかれば、それより変数の多い次元でも同様に予想は成り立たなくなることが知られています。しかし、これは予想の中でもとりわけ有名な”2変数の場合”の真偽には影響しません。2変数のケースは、今回の話題とは別に、依然として未解決のまま残っています。

どこまで検証されているのか——専門家の反応と査読前の慎重論

ここが今回の記事でもっとも重要な部分です。結論から言うと、2026年7月21日時点で、この反例について論文としての査読や、Lean・Coqのような形式検証システムによる機械チェックが完了したという確認は取れていません。

一方で、「計算そのものが正しいか」という部分については、複数の数学者による独立した検証が急速に進みました。スタンフォード大学の数学者ジャレッド・デューカー・リヒトマン氏は、自身の環境で同じ衝突(3つの入力が1点に写ること)を再現できたと公開の場で示し、数学者のチャオチュー・ユアン氏も「記号計算で簡単に検証できる」とコメントしています。SymPyやSageといった数式処理ソフトを使った独立計算でも、ヤコビ行列式が定数-2になることと、3点が同じ出力に写ることの両方が確認されたと報じられています。

つまり、「アルポージ氏が公開した式が、書かれた通りに計算すればヤコビアン予想の反例の条件を満たす」という”計算としての正しさ”は、比較的短時間で複数の第三者によって再現されました。これが今回、単なるAIの誇大広告と一線を画す点として受け止められている理由です。一方で、これはまだ”査読”ではありません。論文としての正式な投稿・審査、そして数学コミュニティ全体でのコンセンサス形成には、通常数週間から数か月かかります。

Hacker Newsのコメント欄では、懐疑的な意見も相応に出ています。「AIとのやり取りの全文(チャットログ)が公開されていない」「実質的にマーケティング寄りの発表ではないか」といった指摘や、「専門家(アルポージ氏自身)がどこまで方向性を誘導したのか分からない」という声もありました。ある投稿者は「チャットログの共有自体は30秒でできるはずだ」と皮肉交じりに指摘しています。また、ウィキペディアの「ヤコビアン予想」の項目が発表からわずか1日ほどで「2026年7月19日に反例が示され、3変数以上では予想は誤りと確認された」という書きぶりに更新され、その編集の妥当性(信頼できる情報源と言えるかどうか)を巡って議論になったことも報じられています。数学の未解決問題が査読前に百科事典で”確定事項”のように書かれてしまうこと自体が、今回の一件の危うさを象徴していると言えるでしょう。

楽観論と慎重論——AIが数学の未解決問題に踏み込む意味

今回の一件をめぐっては、はっきりと立場が分かれています。

楽観的な立場の論拠は、今回の反例が”再現可能な具体的計算”として提示された点にあります。過去の「AIが数学を解いた」系の報告の多くは、証明の概要や自然言語での説明にとどまり、第三者が検証するのに時間がかかるものでした。今回は「この式をこの点に代入すればこうなる」という有限で機械的に再現可能な主張であるため、数時間のうちに複数の数学者が独立に検算できました。この”検証のしやすさ”自体が、AIが研究の壁打ち相手として実用段階に入りつつあることを示している、という見方です。

慎重な立場の論拠は主に3点です。1点目は、査読を経ていない主張が、発表から1日程度で百科事典に”確定事実”として書き込まれるなど、検証プロセスをすっ飛ばして既成事実化する動きが早すぎること。2点目は、AIとの対話ログが公開されていないため、どこまでがアルポージ氏自身の専門知識による誘導で、どこからがAI単体の貢献なのか、成果の帰属を外部から検証できないこと。3点目は、直近でもGPT-5.6の凸最適化の主張のように、発表当初は劇的に報じられた「AIが数学を解いた」系のニュースが、後日「引用文献の欠如」や「既存研究より劣る結果だった」と分かった前例が複数あることです。

Uravationとしての見立ては、”計算の正しさ”と”予想全体の決着”を分けて考えるべきだ、というものです。今回のケースは、行列式や座標の代入といった有限の計算が第三者によって素早く再検算されたという点で、確度の高い部類の報告です。しかし予想全体が”確定的に反証された”と言えるのは、論文としての査読・掲載を経てからであり、現時点ではまだその手前の段階にあります。

日本企業への示唆——「検証可能な難問」にAIをどう使うか

ここからが本題です。ヤコビアン予想のような純粋数学の話題が、なぜ日本企業の経営者や技術責任者にとって意味を持つのでしょうか。

これまで多くの企業にとって、生成AIの主戦場は「検索・要約・文章生成」でした。しかし今回の一件が示すのは、専門家が明確な問い(この場合はヤコビアン予想への反例探索)を立てさえすれば、AIが具体的で検証可能な計算を高速にこなし、専門家自身も気づいていなかった組み合わせにたどり着く可能性がある、という方向性です。これは理論数学に限った話ではありません。新素材の候補探索、回路設計の最適化、複雑なスケジューリング問題など、企業の研究開発・技術部門が扱う「答えが出れば検証は比較的容易だが、答えを見つけること自体が難しい」タイプの課題全般に関わってきます。

ただし、今回整理した検証状況を踏まえると、企業が引き出すべき教訓は「専門家を減らせる」ではありません。むしろ逆で、”AIが出した答えを検証できる専門知識を持つ人材”の価値が一段と重要になる、という話です。今回、反例の計算自体が数時間で検証されたのは、検証する側にヤコビアン予想と代数幾何を理解した数学者が複数いたからです。自社のR&D現場でAIに難問を壁打ちさせる場合も、その出力を検証できる専門家が社内にいるかどうかが、活用できるかどうかの分かれ目になります。AI活用の全体設計についてはAI導入戦略の完全ガイドで体系的に整理していますが、今回のテーマは特に「AIの主張をどう検証するか」という運用面の論点にあたります。

企業が今すぐ検討すべきこと

研究開発・技術部門を持つ企業が、この流れを踏まえて具体的に着手できることを3つに整理しました。

1. 「検証可能な難問」を選んでAIに壁打ちさせる: 自社の技術領域で、答えが出れば検証は比較的容易(数式・シミュレーション・実験で裏取りできる)だが、答えにたどり着くまでの探索が大変な課題を一つ選ぶ。専門家が主導し、AIに詳細な文脈(制約条件、これまでの試行錯誤)を与えて壁打ちさせる体制で試すのが現実的です。
2. AIの主張を検証する体制を明文化する: 技術的な意思決定にAIの出力を反映させる前に、誰が・どの基準で検証するかを社内ルールとして決めておく。今回、数学コミュニティが行った「独立した第三者による再計算」と同じ発想を、自社の検証プロセスに組み込むことが重要です。
3. 一次報道の速報性に振り回されない仕組みを作る: 「AIが〇〇を解決した」という速報は、数週間〜数か月後に評価が変わることが珍しくありません。技術投資や採用方針に関わる判断は、初報から一定期間を置き、独立した検証や追加報道が出てから行うという原則を、社内のAI活用ガイドラインに盛り込むことをおすすめします。

まとめ

今回Hacker NewsとX上で話題になったのは、Anthropicの数論研究者レヴェント・アルポージ氏が、Claude Fableとの共同作業で見つけたと発表した、1939年から未解決だったヤコビアン予想の反例です。行列式が定数-2になることと、3つの異なる入力が同じ出力に写ることについては、複数の数学者による独立した再計算で確認されていますが、論文としての査読や数学コミュニティ全体でのコンセンサス形成はまだこれからです。「反例が確定した」と断定するのは時期尚早であり、現時点で言えるのは「専門家による初期的な検算はパスしたが、正式な査読前の段階にある、注目すべき報告」ということです。

企業にとって重要なのは、この一件を「AIが数学者を超えた」という単純な物語で消費するのではなく、”検証可能な難問にAIをどう使い、その出力をどう検証する体制を社内に持つか”という実務的な問いとして受け止めることです。

参考・出典

• Claude Fable produced a counterexample to the Jacobian Conjecture — Hacker News（参照日: 2026-07-21）
• レヴェント・アルポージ氏の投稿（xcancel経由） — X（参照日: 2026-07-21）
• Jacobian conjecture — Wikipedia（参照日: 2026-07-21）
• An Anthropic Researcher Says Fable Just Helped Him Disprove The 85-year-old Jacobian Conjecture — OfficeChai（参照日: 2026-07-21）
• Jacobian Conjecture Disproved? Claude Fable Evidence — Kingy.ai（参照日: 2026-07-21）
• Fable 5 Jacobian Conjecture Claim — July 2026 — ExplainX（参照日: 2026-07-21）

あわせて読みたい:

• GPT-5.6「凸最適化30年ギャップ解消」の中身｜検証状況と企業への示唆 — 同じ週に話題になった、もう一つの「AIが数学を解いた」報告
• GPT-5.6ベンチマークは信用できるか|モデル選定リテラシー【2026年7月】 — AIの性能主張をどう読むかの基本姿勢

著者: 佐藤傑（さとう・すぐる）
株式会社Uravation代表取締役。X（@SuguruKun_ai）フォロワー約10万人。
100社以上の企業向けAI研修・導入支援。著書『AIエージェント仕事術』（SBクリエイティブ）。
SoftBank IT連載7回執筆（NewsPicks最大1,125ピックス）。

ご質問・ご相談は お問い合わせフォーム からお気軽にどうぞ。