Anthropicの数学者が同社のClaude AIを用いて、87年間未解決だったヤコビアン予想を反証した。今週確認されたこの結果は、多項式写像の困難さに依存する暗号システムに即座に影響を及ぼす。
87年来の問題
1939年に初めて提起されたヤコビアン予想は、非零定数ヤコビ行列式を持つ多項式写像が必ず多項式逆写像を持つかどうかを問うものだ。数十年にわたり数学者たちはそれが真であると信じてきたが、証明できる者はいなかった。この予想は、広く想定されながらも決着がつかなかった他の有名な未解決問題と同じカテゴリーに位置づけられていた。
Anthropicの数学者（氏名は未公表）は、Claude AIを用いて反例の可能性を探った。AIは予想の条件に反する特定の多項式写像の構築を支援し、実質的に予想を反証した。この成果は今月、独立した数学者によって検証された。
Claudeが変えたゲーム
AIが数学の問題解決に貢献したのはこれが初めてではないが、最も重要な事例の一つである。ヤコビアン予想は代数幾何学と多項式代数に関わるもので、これまで人間の直感が唯一のツールだった分野だ。Claudeは単なる力任せの探索ではなく、候補となる写像を生成し、代数構造を推論することで解決に導いた。
数学者は同僚に対し、Claudeがなければ反例を見つけるのに何年もかかっただろうと語った。AIが広大な組み合わせ空間を探索し、非自明なパターンを提示する能力が鍵となった。
標的となる暗号システム
この反証は、暗号システムにおけるAIの役割に疑問を投げかけている。特に多変数多項式に基づく多くのポスト量子暗号方式は、特定の多項式問題が困難であることを前提としている。AIがヤコビアンのような基礎的な予想を反証できるなら、それらの前提の弱点も見つけ出す可能性がある。
暗号技術者たちは現在、多項式逆写像や関連問題に依存するアルゴリズムのセキュリティマージンを再検討している。タイミングも良くない。米国立標準技術研究所（NIST）はポスト量子標準の最終化を進めているが、基礎となる数学に疑念が生じれば、採用が遅れる可能性がある。
数学界の反応
反応は賛否両論だ。一部の数学者はこの反証を人間とAIの協力の勝利と見なす。一方で、AIが証明されていない予想に依存する分野を不安定化させる可能性を懸念する声もある。ヤコビアン予想は直接的な暗号のプリミティブではなかったが、その反証はAIが長年の信念を覆し得ることを示している。
Anthropicは完全な証明やAIが生成した反例を公開するかどうかについてコメントしていない。暗号コミュニティは注視しており、次の展開を待っている。
