数学者のLevent Alpöge氏（Anthropic所属）がAnthropicの大型言語モデルを用い、代数幾何学分野の長年未解決だった「Jacobian予想」の反例を特定しSNS上で発表した。この発見は数学界に大きな衝撃を与え、AIが数学研究の最前線で果たす役割の新たな可能性を示すものと評価されている。 Jacobian予想は1939年に提唱され、ヤコビアン行列式がゼロでない定数である多項式写像は常に可逆であるとするもの。長らく無数の証明試みがなされてきたが、一般の場合の証明も反例も発見されてこなかった。近年のOpenAIによる距離予想の反証やAI支援証明に続き、AI活用数学ブレイクスルーが相次ぐ中、今回の発見はその性質がやや異なる点に特徴がある。 Alpöge氏はAnthropicのモデルに提示された膨大な探索空間から、3次元においてヤコビアン行列式が一定値でありながら複数の入力点を同一の出力点に映射する非可逆な多項式関数を特定した。この反例は数学的に極めて簡潔で投稿枠内に収まる短さであり、他数学者による検証が迅速に進行中だ。この結果により、2次元の場合を除き、次元が2より大きいすべてのケースで予想が誤りであることが確定した。 本発見の技術的意義は、AIが複雑な証明構築のみならず、広大な数値空間のナビゲーションを通じて予期せぬ数学的対象を発見する探索ツールとして極めて有効であることを示した点にある。従来のAI応用が論理推論に焦点を当てていたのに対し、今回はハイブリッドな多項式空間から特定の構造を持つ関数を抽出するプロセスで実効性を証明している。Anthropic側は具体的なプロンプト設計や出力形式について現時点で詳細を公表していないが、Alpöge氏の発見は数学とAIの融合研究に新たなパラダイムを提示した。 今後、LLMや数理最適化技術が数学研究手法に深く組み込まれることで、証明中心の伝統的アプローチから探索と発見を駆動するハイブリッド型研究へと転換が進むと見られる。人間の数学者はより高度な概念設計や検証プロセスへ注力するよう役割を再定義される一方、数学の未踏領域開拓速度は著しく加速する可能性が高い。