米国の数学者レヴェント・アルポージ（Levent Alpoge）氏は2026年7月20日、X（旧Twitter）で、Anthropicの生成AIモデル「Claude Fable」を使って、1939年の提起から87年間誰も解けなかった数学の超難問「ヤコビアン予想（Jacobian Conjecture）」に対する反例を発見したと投稿した。

「ヤコビアン予想」とは何か

ヤコビアン予想は、ドイツの数学者オットー=ハインリッヒ・ケラーが1939年に提起した予想だ。n変数の複素多項式写像 C^n→C^n について、そのヤコビ行列式（各成分の偏微分から作る行列の行列式）がどの点でも0にならない定数であれば、その写像は多項式で書ける逆写像を持つ、つまり全単射であるはずだ、という主張である。

主張自体はシンプルだが、証明も反例もこれまで一切見つからず、著名な数学者が挑んでは跳ね返されてきたことから「クランク（トンデモ）の墓場」とすら呼ばれてきた難問だ。双子素数予想への貢献で知られる張益唐（Yitang Zhang）氏も博士論文でこの問題に取り組み、証明に欠陥が見つかって学位取得が難航したという逸話があり、今回のスレッドでもリプライで言及されている。

ワールドカップ決勝の合間に見つかった反例

アルポージ氏が投稿した反例は、3変数の多項式写像で、ヤコビ行列式がどの点でも-2という定数でありながら、(0, 0, -1/4)、(1, -3/2, 13/2)、(-1, 3/2, 13/2) という3つの異なる点をすべて同じ点 (-1/4, 0, 0) に写してしまう、つまり単射ではないというものだ。予想が正しければ「定数かつ非ゼロのヤコビ行列式を持つ多項式写像は全単射」のはずなので、この反例が正しければ予想そのものが崩れることになる。

氏はこの計算をClaude Fableが「ワールドカップ決勝戦の間に」担ったと明かしており、人間がサッカー観戦をしている間にAIが自律的に計算を進めていたという点が話題を呼んでいる。

現時点では「検証中」というのが実際のところ

投稿ではヤコビ行列式の計算や各点での写像の値をWolfram Alphaで裏付けており、追跡可能な形で示されてはいる。X上のAI「Grok」もこのスレッドに反応し「有効な反例だ」と回答しているが、これはAIによる即答であって、数学コミュニティによる正式な査読ではない。リプライでは、この反例が関連するディクスミア予想（Dixmier Conjecture）やポアソン予想（Poisson Conjecture）の反証にもつながるのではという指摘も出ており、影響範囲の精査はこれからだ。

実務への影響

日本のエンジニアやIT管理者の日常業務に直結する話ではないが、示唆はある。

  • 「答えの正しさを機械的に検証しやすい」領域（数値計算、組み合わせ探索、証明の妥当性チェックなど）では、AIエージェントに自律的な反復探索を任せる余地が着実に広がっている。社内に眠っている検証可能な計算タスクを、AIエージェントに predicate として渡せないか棚卸ししてみる価値がある。
  • 一方で、この件はAIの出力と専門家コミュニティによる検証の間にはまだ距離があることも示している。別のAI（Grok）の即答は査読の代わりにはならない。業務でAIの成果を使う際も、重要な判断ほど独立した検証プロセスを仕組みとして挟んでおくべきだ。
  • 人間はゴール設定と検証手段の用意に徹し、実行そのものはAIエージェントに委ねるという役割分担が、数学の最前線でも実証されつつある点は、開発・検証プロセスの設計を考える上でのヒントになる。

筆者の見解

真偽はさておき、この一件で一番面白いのは「人間がワールドカップ決勝を見ている間にAIが勝手に計算を進めていた」という構図そのものだ。逐一確認や承認を求められるアシスタント型のAIではなく、目的だけ渡して離れても仕事を進めてくれる自律型のエージェントが、こうした専門的な計算領域でも実力を発揮し始めている。この方向性こそ今のAI活用で一番注目すべきところだと感じる。

Anthropicのモデルがこうした形で数学研究の現場に持ち込まれ、話題になっていること自体は素直に興味深い。ただし現時点ではあくまで未査読のX投稿であり、Wolfram Alphaでの部分検証やGrokの回答があるとはいえ、数学的に確定した結果ではない。今後、専門家コミュニティによる正式な検証を経て初めて「ヤコビアン予想は解決された」と言える段階に進む。AIが出した派手な結果に飛びつく前に、誰がどう裏取りしたのかを見極める姿勢は、数学に限らず業務でAIを使うときにも変わらず大事にしたい。

出典: この記事は Claude Fable produced a counterexample to the Jacobian Conjecture の内容をもとに、筆者の見解を加えて独自に執筆したものです。