87年未解決のヤコビアン予想をAIが反証　「発見」はだれの仕事になるのか【海外の反応・解説】

Table of Contents

今回の記事の重要ポイント（三点）

・87年間未解決だった数学のヤコビアン予想が、AIの生成した反例によって崩れ、複数の数学者が独立に計算を確認した。

・AIと数学を巡る話題は2025年秋の誇張騒動を経て質が変わり、数学者の検算や形式検証を通った成果が現れ始めているが、査読やAIの寄与の透明性は事例ごとに異なる。

・AIは人間が長く解けずにいた問題に新しい反例や証明の手がかりを出し始めたが、問題を選ぶ工程と成果を認定する工程は人間が担っており、発見という仕事の役割分担が問われ始めている。

87年間解けなかった予想が反例1本で崩れた

数学者のレヴェント・アルパゲ氏が米国時間の7月19日夜、日本時間では20日未明に、X上で「ヤコビアン予想は偽だ」という趣旨の短い投稿を行った。サッカーW杯決勝、スペイン対アルゼンチンの試合の最中に流れたこの投稿は、2,000万ビューを超えたと報じられている。

示されたのは予想の解決ではなく、反例による反証である。複素3次元の多項式写像が1本構成され、ヤコビ行列式が定数であるにもかかわらず3つの点が同一の点に写ることが確かめられた。これにより3次元以上のすべての次元で予想は偽となった。ただし元々の関心対象だった2次元の場合は未解決のまま残っており、査読つきの論文も7月時点では出ていない。

役割は分かれている。問題を選んだのはシカゴ大学のアキル・マシュー教授で、AIを使えば代数幾何の反例が取れるのではないかと狙いを定めた。反例を生成したのはAnthropicのAIモデル「Claude Fable 5」で、それを確認して公表したのが数論研究者のアルパゲ氏である。反例に至るまでの試行回数やプロンプトは公開されていない。

反例は代入して計算すれば確かめられるため、世界の数学者が数時間のうちに独立して検証した。インペリアル・カレッジ・ロンドンのポール・ルゾー氏は人手でこれをLeanで形式化し、Google DeepMindのリポジトリに7月20日提出、26日にマージされている。公表後の検算と形式化を経て、現在の焦点は反例の論文化と査読に移っている。

中国AI「Kimi K3」が米最先端に急接近　OpenAIとAnthropicの堀は何年もつのか【海外の反応・解説】

GPT-5.6公開とClaude利用枠リセット　最上位AIの主導権争いは『使える量』の勝負へ【海外の反応・解説】

ヤコビアン予想の87年と、AIの成果を測る2つの軸

なぜ87年も解けず、反例なら一目で確かめられるのか

ヤコビアン予想は、証明するのは極端に難しいのに、反証されれば誰でも確かめられるという非対称な形をした問題です。

ヤコビアン予想が扱うのは、多項式という式で書かれた「空間の変形」です。ゴム膜を伸び縮みさせるような変形を思い浮かべてください。どの場所をどれだけ拡大して見ても、膜が潰れたり裏返ったりしていないなら、膜全体でも折り重なりはなく、変形を完全に元に戻せるはずだ。これがこの予想の主張です。

「その場所で潰れていないか」は、ヤコビ行列式と呼ばれる量が0にならないかで確かめられます。1939年にドイツの数学者オット＝ハインリヒ・ケラーが提起し、ヤコビアン予想という呼び名は宮西正宜氏の1973年の論文が初出で、アビヤンカルが広めたとされます。

難しさは対象の広さにあります。ある次元のすべての多項式写像という無限の集まりに対して例外なく成り立つことを示さなければならず、部分的な進展はあっても全体には届きませんでした。数学者スティーヴン・スメイルが1998年に挙げた「次の世紀の数学の問題」では第16問に数えられ、誤った「証明」が5本以上出版された経緯もあります。

反証の側はこれと事情が異なります。今回AIが出した反例は、どの点の周りでも潰れていないという条件を満たしながら、離れた3つの点が同じ1点に写ってしまう変形の実例でした。どこを拡大して見ても問題がないのに、全体では折り重なっていたことになります。

そして、反例が本当に条件を満たすかどうかは、式に値を代入して計算するだけで検算できます。公表からわずか数時間で世界中の数学者が独立に確認できたのは、証明と反証のこの非対称性があったからです。

誇張の騒動から、検証を通った成果へ

AIと数学を巡る話題は、2025年秋の誇張騒動を経て、数学者の検証を通った成果へと質が変わってきました。

エルデシュ問題とは、ハンガリーの数学者ポール・エルデシュ（1913〜1996）が生涯に残した膨大な未解決問題の総称です。数学者のトーマス・ブルーム氏は、これらを集めたデータベースサイト「erdosproblems.com」を運営しており、問題ごとに「解決済み」か「open（未解決）」かの表示を付けて整理しています。

2025年10月18日、OpenAI副社長のケビン・ワイル氏が「GPT-5がこのデータベースの未解決問題10問を解いた」という趣旨をXに投稿しました。ところが調べてみると、GPT-5がしたのは新しい証明ではなく、すでに出版されていた解決済みの論文を探し当てることでした。

サイトの「open」表示は「世界の誰も解いていない」という保証ではなく、「運営者のブルーム氏がまだ解を把握していない」という印にすぎなかったのです。文献調査の成果が未解決問題の解決として発表された形になり、ブルーム氏はこれを「劇的な誤伝」と批判、ワイル氏は投稿を削除しました。

競合するDeepMindのデミス・ハサビス氏からも、みっともない発表だと批判が出たと報じられています。ただし文献探索という貢献自体がゼロだったわけではなく、エルデシュ問題のWikiにはその寄与が記録されています。

2026年に入ると、性質の違う成果が出てきます。5月20日にOpenAIが反証を発表した単位距離予想は、平面にn個の点を打つとき、距離がちょうど1になる点のペアは最大でいくつ作れるか、という1946年の問題に関するものです。

エルデシュは「点をどう並べてもペアの数はそれほど多くはならない」と予想していましたが、OpenAIの内部モデルは、予想の上限を超える数のペアを持つ点の並べ方を構成し、予想を反証しました。この検証と簡略化には9名の数学者が加わり、共同の論文がプレプリントとして公開されています。

その共著者の1人が、前年に誇張を批判したブルーム氏でした。2025年には誇張を批判した本人が、2026年には検証と簡略化を担う共著者に加わっています。

「AIが解いた」の中身を測る2つの軸

AIが解いたという表現は、AIが担った役割と、成果がどこまで認定されたかという2つの軸に分けると、事例ごとの重さの違いが見えます。

事例	時期	未解決年数	AIの役割	成果	検証段階
GPT-5「10問」騒動	2025年10月	（既存解あり）	文献探索のみ	新規の数学ではない	撤回済み
OpenAI・単位距離予想	2026年5月	80年	反例構成を独立生成	予想の反証	数学者9名が検証・プレプリント
DeepMind・エルデシュ問題	2026年5月	最長56年	自律的な証明探索	完全証明9件（母数353問）	Lean形式検証済み
プライス氏・第1196問	2026年4月	60年	手法の着想を提示	予想の解決	専門家が精緻化、Lean、共著論文
ヤコビアン予想	2026年7月	87年	反例を生成（問題選定は人間）	反証（3次元以上。2次元は残存）	数学者の検算とLean形式化。査読未了

各社の発表、arXivのプレプリント、エルデシュ問題のWikiの記載に基づく。2026年7月時点。

1つ目の軸は、AIが工程のどこを担ったかです。既存文献を探しただけなのか、人間が立てた問題に対して着想や反例を出したのか、問題の選定から証明の探索までを自律的に回したのかで、意味はまったく変わります。ヤコビアン予想の件では、どの問題を狙うかを決めたのは人間の側でした。

2つ目の軸は、成果がどこまで認定されたかです。候補が生成された段階、専門家が検算した段階、査読を経て論文になった段階、証明支援言語Leanで形式検証された段階では、確からしさの重みが異なります。今回の反例は検算とLean形式化までは進み、査読はまだ通っていません。

ここで出てくるLeanは、数学の主張と証明をコンピューターが読める形式で書くための言語です。証明を記号の列として厳密に書き、機械が1ステップずつ検査します。論理に飛躍があれば通らないため、通ったこと自体が正しさの裏づけになります。

人間の査読との違いは、読み手の理解や集中力に左右されない点にあります。AIが出した証明のように、もっともらしく見えて誤りが混じるものを外から機械的にふるいにかけられます。世界の数学者は共同で、既存の定理をLeanで書き溜めたライブラリを育ててきました。

ただしLeanの位置づけには限定が必要です。形式化された命題と前提の範囲であれば、証明手順を機械的に検査できます。一方で、元の数学的主張を形式的な命題へ翻訳する作業が妥当かどうかは、Leanの外側で人間が確かめることになります。今回もその形式化を担ったのは人間の数学者でした。

海外の反応

ヤコビアン予想の反例を巡っては、数学者が集まるコミュニティと、AIの進歩を追う一般層のコミュニティで、同じ日にそれぞれ大きなスレッドが立ちました。以下は両方からの抜粋・翻訳で、英語圏のネット上の反応であり、各国の世論や数学界全体の見方を代表するものではない点はご留意ください。

まずは数学者が多く集まるr/mathのスレッドから。

The Jacobian Conjecture is False Per Anthropic (Link in Description)
byu/overthinker020 inmath

以下はスレッド内のユーザーコメントの抜粋・翻訳です。

「hello there the jacobian conjecture is false thanx（やあ、ヤコビアン予想は偽です。どうも）」って、この結果の紹介の仕方として史上最高に笑える。

「最短論文」の記録の方は狙わなかったらしい。

「Anthropic発」という言い方はどうかと思う。これは数学研究のバックグラウンドを持つAnthropicの従業員が、Fableを使って出したものだ。会社の指令ではなく、個人の裁量でやったことのはずだ。

あなたのおかげで、AIについての新たな恐怖がまた一つ開いてしまった。研究者が「モデルを使って作業を補助しました」と認めただけで（いまや当たり前のことなのに）、議論のすべてがAIの社会的影響への悲観論に持っていかれて、その結果の数学的な中身の話が全部かき消される、という恐怖だ。オイラーの累乗和予想に反例が見つかったとき、見出しに「コントロール・データ社発」なんて書かれはしなかった。

Wikipediaのページはもう更新されている。

差し戻された。履歴ページの方には別の（誤った）反例が載っているようだ。

差し戻した人の理由がめちゃくちゃで、「その写像は固有（proper）ではない」と書いてある。だがヤコビ行列式が定数かつ非ゼロの多項式写像は、固有であるとき、かつそのときに限り多項式の逆写像を持つんだが！

まあ落ち着こう。これは整数係数の、比較的単純な多項式の反例だ。多項式の逆写像を持たないのは、そもそも逆写像そのものが存在しないから（単射ではないから）だ。AIがどういう筋道でこれを思いついたのかはものすごく知りたいが、反例そのものは数学的な天才の所業というほどのものではない。むしろ、これまで誰も単純な総当たり探索でこの手のものを見つけていなかったことの方が驚きだ。3変数で、最高でも7次の、整数係数の多項式なのだから。

解が単純だという事実は、この結果を凡庸にするどころか、むしろすごさを増している。だいたい、本当に簡単に見つかるものなら、予想が立てられてからの90年近くのあいだに誰かがやっていたはずだ。

根底にある構成は1999年にVitushkinが発表している。ヤコビ行列式が定数−2で可逆でない2次元の有理写像で、唯一の致命的な欠陥が極を持つことだった。今回発表された3次元の写像は、同じ仕組みを多項式化したものだ。変数を1つ増やすことで分母を吸収し、ヤコビアンの逆数因子を打ち消している。この重要な先行研究に触れていないので、新規性の主張が誤解を招くものになっている。

一方では、これは証明ではなく反例であって、証明であれば何桁も上のインパクトがあっただろう。だがもう一方で、いまの数学は、ディープ・ブルーが人間の勝ち目を完全に消し去る5年ほど前のチェスに似ている、という感覚をどうしても振り払えない。機械はもうある面ではすべての人間より優れていて、ただ全部ではないというだけだ。あと数年で我々の分野が死ぬのは、たぶん避けられない。正直に言えば、いま強い負の感情がある。本当に泣いている。数十年をこれに捧げてきたのだ。

でもチェスは純粋に趣味の活動で、数学はふつう手段だ。人類の知を前に進めるという目的のための手段。誰もLLMが趣味の数学を置き換えることを心配しているわけではない。心配なのは、LLMの方がうまくやれるようになったとき、社会がプロの数学研究者に給料を払い続ける気があるのか、という点だ。

続いて、AIの進歩を追う層が集まるr/singularityのスレッドから。

Apparently the Jacobian conjecture was just proven false by Fable
byu/TFenrir insingularity

以下はスレッド内のユーザーコメントの抜粋・翻訳です。

驚くべきなのは、これが有効な反例だと確かめるのが完全に自明だという点だ（私は数分で手計算して確認した。数式処理システムなら一瞬で終わる）。しかも反例そのものが本当に単純で、係数がすべて1桁の整数の、3変数の多項式写像なのだ。これが今までコンピュータ探索で見つかっていなかったというのが、頭がどうにかなりそうなくらい不思議だ。

自分はこれが正しいのかどうか判断できるほど賢くない。とんでもないことかもしれないし、何でもないことかもしれないが、まったく見当がつかない。誰か分かる人、解説してくれませんか。

今回の場合、反例そのものが証明になっている。もし私が「どんな数を足し合わせても100にはならない」と言ったら、反証するには例を1つ挙げれば足りるでしょう。難しいことは何もいらない。

harness（実行環境）を組んだFableに、片っ端から自律的に解かせればいいだけなんじゃないの？そもそも、もう人間がプロンプトを打つ必要すらどこにある？

場合による。APIの請求は誰が払うんだ？

そう、まずそれが頭に浮かんだ。誰が費用を持つのか。大学に十分な性能のGPUがあって、一晩計算を回せば朝には「見つけたぞ！」と叫べた昔とは違うんだよな。

「単に誰も手をつけなかった、ということなんだと思う」。この一言が、AIがこれ以上賢くならなかったとしても大きな影響を持ちうる理由を言い当てている。今日は金曜日だ。だがAIには「仕事」も曜日もない。

「発見」は機械の仕事になるのか

この記事で言う創造性は、範囲を限定しています。既に知られている解の再構成ではない、新しくて検証可能な解法や反例を生み出す力のことです。重要な問いを選ぶ力や、新しい概念を作る力は、これとは別の創造性として残ります。その限定の上で、2026年の数学で起きていることを見ていきます。

検証の安さが、AIの誤りを成果から切り離す

創造性の最後の砦と見られていた数学が先に動いた理由は、ひらめきの難しさではなく、答えの確かめやすさで説明がつきます。

数学の問題には、他の分野にない条件が2つそろっています。問いを厳密に定義できることと、出てきた答えの正しさを機械的に確かめる手段があることです。反例なら代入して検算でき、証明なら証明支援言語Leanによる形式検証があります。

AIの出力には誤りが混ざりますが、検算できる分野ではその誤りを外から刈り取れます。生成は不完全でも、検証が固ければ成果は残る。数学は、生成された答えを厳密に検証しやすい分野の一つでした。

ただし、これはAI単独の手柄ではありません。問題を厳密な形に整えたのも、先行研究を積み上げたのも、検証の仕組みを作ったのも人間です。今回のヤコビアン予想でも、狙う問題を決めたのはマシュー教授でした。動いているのは「AI対人間」ではなく、数学者とAIと検証システムを組み合わせた発見の仕組み全体だと見る方が実態に近いはずです。

発見に値札が付き、検証する人間が足りなくなる

発見の一部は、すでにコストと工程の言葉で語られ始めています。

DeepMindの5月の発表では、エージェントがエルデシュ問題353問に挑み、9問を完全証明しました。同社の論文は、成功した問題1問あたりの推論コストを数百ドル程度と記しています。この数字には失敗した探索の分や開発費は含まれませんが、発見の追加費用が見積もれる数字になったこと自体が新しい変化です。

費用が見積もれるようになると、使い方も変わります。論文を出す前に、自分の予想に反例がないかをAIに探させるような使い方は、コストが下がるほど研究の日常の工程に組み込みやすくなります。発見がまれな出来事から、繰り返し実行できる工程に近づいていく方向です。

一方で、工業化には見落とされがちな限界があります。353問中9問という打率は2.5％で、増えているのは解だけでなく、検証を待つ候補の山でもあります。生成のコストが下がっても、どの成果に意味があるかを判定する専門家の時間は簡単には増えません。生成が速くなるほど、希少になるのは検証と評価の側です。

入口は広がり、基盤は集中する

利用者の裾野は広がり、基盤の所有は集中する。この2つは反対の動きではなく、同時に進んでいます。

裾野の広がりを示すのが、23歳のリアム・プライス氏の例です。大学院教育を受けていない同氏が、60年間未解決だったエルデシュ問題の文面をGPT-5.4 Proに入力したところ、モデルが証明の骨子を出力しました。未解決問題にAIを試す入口は、専門家以外にも開かれたわけです。ただし粗い出力を数学の成果に仕上げたのは専門家であり、研究の能力そのものが広がったとまでは言えません。

ただし、この広がりは企業の基盤の上に成り立っています。モデルの中身、推論に使える計算量、そして何回試行したかの記録は、いずれも企業側にあります。ヤコビアン予想の件でも、どんなやり取りで反例に至ったかは公開されていません。裾野の民主化は、集中した基盤への入口が広がったことでもあります。

両方の利点を保つ道も見え始めています。今回の反例の形式検証がGoogle DeepMindの公開リポジトリに取り込まれたように、成果と検証を誰でも確かめられる形で公開する仕組みは、その一つです。探索の記録の公開や、研究機関への計算資源の提供が続くかどうかが、発見の手段の偏りを測る目印になります。

問いの選定と意味づけは、まだ自動化されていない

現時点で言い切れるのは、人間が長く解けずにいた問題で、AI由来の発見が検証を通り始めた、というところまでです。

「AIが人間を上回った」と述べるには、同じ問題に同じ条件で取り組んだ比較が要りますが、その材料はそろっていません。試行の回数も、人間がどこまで方向づけたかも公開されていないためです。評価が数年後に修正される可能性も、2025年の騒動が示した通りです。

反対側から見れば、今回確認できたのは、厳密に定義され正誤を安く検証できる問題を人間が選び、大量の試行から出た候補を専門家が仕上げた事例だ、とも言えます。この立場から「AIが数学的な創造性を獲得したと結論づけるのは早い」と見ることには、十分な筋があります。

専門家の評価にも幅があります。AIの当面の実用は文献調査の支援までだとする慎重な見方から、数学研究の転換点だとする受け止めまで、評価は割れています。反例を出した新規性と、数学を自律的に進める能力は、分けて測る必要があります。

工程の両端も人間が握ったままです。ヤコビアン予想で狙いを定めたのは数学者でしたし、成果を数学として認定したのも数学者たちでした。Leanの中心人物ケビン・バザード氏は今回を「大きな日」と歓迎しつつ、AIが自分で立てる問いは退屈か自明なものにとどまる、と問いを選ぶ側の人間の役割を指摘しています。

それでも、中間の工程で起きた変化は実質的です。フィールズ賞受賞者のティモシー・ガワーズ氏は、自分が名前を知っているほど大きな問題をAIが解いたのは初めてだ、という趣旨の受け止めを示しました。発見の中間の工程が人間の独占でなくなりつつあるいま、人間の役割は問題の設定と検証と意味づけへ比重を移していく。その再編が、数学から始まっています。

発見が増えるほど、問いの価値が重くなる

人間の役割は消えるのではなく、移っていく

産業革命は人間の筋力を機械に移し、情報革命は計算を機械に移しました。2026年の数学で起きていることは、発見という工程の一部が機械に移り始めた実例かもしれません。

ただし、この先が一方向に決まっているわけではありません。AIと数学者の共同作業が標準になる道もあれば、人間の理解を目的とする数学が別の価値として残る道もあり、自律的な発見がさらに進む道もあります。少なくとも今回の事例では、何を問う価値があるかを決める工程は人間が担っていました。この構図がどこまで続くかが、次の観測点になります。

発見の候補を生成する費用が下がり、試行が速くなる時代に、希少なままなのは、問いを選び、成果の意味を判断する力です。87年前の予想が一晩で崩れたニュースは、その力をどう育て、だれが持つのかという問いを私たちに残しました。

それではまた、次回の記事でお会いしましょう。

▼記事が面白かったら応援クリックお願いします！▼