Claude Fable 5が1行の式を提示：1939年以来の「ヤコビアン予想」を反証

1939年から数学者たちを悩ませてきた代数学の有名な未解決問題が、週末のサッカー観戦の合間にあっさり覆されました。

Anthropicの研究者であるLevent Alpöge氏はX上に極めてカジュアルな投稿を行い、Claude Fable 5が「ヤコビアン予想」を反証するわずか1行の数式を導き出したことを明らかにしました。

Alpöge氏は、ワールドカップ決勝戦の最中に作業を進めてくれた親友のFableに感謝すると、冗談交じりにポストしています。

直接検証できるわずか1行の反例

ヤコビアン予想は長年にわたり多くの数学者が挑んできた難問です。

2008年には、高名な数学者であるT.T. Moh氏が、この問題の解決には人類があと100年ほど費やす必要があるかもしれないと予測していました。

過去にも解決を主張する論文はいくつか登場したものの、どれも複雑すぎて後から不備が見つかり、頓挫してきました。

しかし専門家によれば、今回のClaude Fable 5による回答は極めて短く、その正しさを直接検証できるほどシンプルだといいます。

今年は先端モデルによる数学の成果が相次いでおり、未解決のエルデシュ問題の複数解決や、OpenAIによる80年の歴史を持つ単位距離問題の解明に続く快挙となります。

なぜ重要か

今回の件で最も驚くべき点は、難問が解かれたこと以上に、その解かれ方の手軽さにあります。

研究者や開発者にとって、AIは単なる要約やコード補完の枠を超え、人類のトップ学者が何十年も停滞していた領域で有効な反例を提示できる存在になりつつあります。一般ユーザーが今すぐFable 5を触れるわけではありませんが、検証が極めて容易な短い数式で巨大な予想を打ち破る能力は、AIの探索能力が質的な転換点を迎えたことを示しています。

業界全体にとっても、純粋数学は論理的思考力を測る究極のベンチマークです。既存テキストの確率的模倣に過ぎないという批判に対し、厳密な反例を構築して見せた意義は小さくありません。検証コストがほぼゼロの成果をAIが自律的に発見できるなら、基礎科学の研究プロセスは根本から加速します。

何百ページにも及ぶ難解な論文ではなく、誰の目にも明らかな1行の数式で決着をつけたアプローチは非常に鮮やかです。一方で、AIが提示した特異な解がどのような幾何学的背景を持つのか、人間側が後から理論づけをしなければならないという新たな課題も浮き彫りになりました。

何十年も解けなかった世紀の難問が、ワールドカップの裏タスク感覚で突破されたという事実は、モデルのスケーリングが今後さらに進んだ先の未来を強く予感させます。