概要
Anthropicの数学者Levent Alpöge氏は7月19日夜(現地時間)、同社のAI「Claude Fable 5」を用いて、1939年から未解決のままだった「ヤコビアン予想」の反例を発見したと発表した。ヤコビアン予想はスティーブン・スメイルが提示した数学の重要未解決問題リストにも名を連ねる難問で、87年にわたり多くの数学者を悩ませてきた。Alpöge氏はX(旧Twitter)上で、きわめてカジュアルな投稿として短い多項式関数を公開し、これが予想を覆す反例であることを示した。発見された反例は数学者が手計算でも検証できるほど簡潔であったため、数学コミュニティは1日足らずでその正しさを確認したという。
ヤコビアン予想とは何か
ヤコビアン予想は代数幾何学における長年の未解決問題で、多項式関数を使って空間内の点を移動させる際、その移動が「ヤコビアン行列式が非ゼロの定数である」という条件(一種の可逆性チェック)を満たすなら、必ず元に戻す(逆転させる)多項式関数が存在するはずだ、という主張である。ルーツは1884年にチェコの数学者ルートヴィヒ・クラウスが提示した2次元版にさかのぼり、1939年にドイツの数学者オットー・ハインリヒ・ケラーがより一般的な形に定式化した。以来、証明も反例も見つからないまま、数学界の主要な未解決問題の一つとして残り続けてきた。
発見の技術的な意義
Alpöge氏がClaude Fable 5を使って見つけたのは、3次元空間においてヤコビアン行列式が-2となる多項式写像でありながら、異なる複数の入力点が同一の出力点に写ってしまう、という具体的な反例だった。これは「可逆性チェックを通過しても逆転できない」ケースが実在することを意味し、たった一つの反例によって87年間の予想は覆された。The Conversation誌の記事が指摘するように、今回の成果で注目すべきは、AIが単に既存の証明を構築する能力にとどまらず、膨大な組み合わせの中から人間が見落としていた「適切な特性を持つ多項式写像」を探索し、予期しない数学的対象そのものを発見できた点にある。複雑な理論構築や長い証明過程ではなく、巨大な探索空間をナビゲートする力がボトルネックを突破した形だ。
数学研究とAIの今後
数学コミュニティはこの反例を歓迎しつつも、AIによる数学研究への貢献が今後どのような形で人間の研究活動と関わっていくのかについては、まだ不透明な部分が多いとしている。一方でCoinDeskは、こうしたAIの能力向上が投機マネーの流れにも影響を及ぼしていると報じている。かつて暗号資産に向かっていた資金が、今や計算インフラやチップ、モデル開発企業へとシフトしており、多くのビットコインマイナーもAIデータセンター運営へと事業を転換しつつある。その結果、彼らの収益は今やブロックチェーンの基礎的な需要よりも、AI向け計算資源の需要に左右される構造になりつつあるという。