87年の難問「ヤコビアン予想」、Anthropic の Claude Fable 5 が反証

要約

Anthropic の数学者 Levent Alpöge は、87年間未解決だったヤコビアン予想を Claude Fable 5 の支援により反証した。反例は 216 文字で記述でき、単一の一行数式として表され、数学者が既に検証を完了している。Queen Mary University of London の研究者は、この問題が AI が数学で果たした役割としては「最も重要な予想の一つ」と述べた。ヤコビアン予想は 1939 年に Ott-Heinrich Keller により定式化され、Stephen Smale が 1998 年に選定した 21 世紀の難問 18 題の一つに含まれていた。今回の反証は、反例の発見という点で AI の能力を示す一方、新しい数学の分野を構築する創造性はまだ人間が担うという指摘もある。