人類数学者は、同社独自の大規模言語モデルを使用して、87 年間解決できなかった数学的予想を反証し、人工知能が純粋な数学を進歩させるこれまでで最も印象的な例の 1 つを提供しました。

AI 企業 Anthropic の数学者 Levent Alpöge 氏は、代数幾何学における長年の有名な問題であるヤコビアン予想の反例を発見したと発表しました。彼は、わずか数週間前に一般にリリースされた Anthropic の Claude Fable 5 モデルを使用して、この結果に到達しました。この発見は ScienceDaily と SciTechDaily によって最初に報告され、もともと The Conversation に掲載された記事から引用されたもので、数学界に興奮の波を送りました。 最新の AI 開発 をフォローしている読者にとって、この結果は、フロンティア モデルがいかに急速にパーラートリックから真に生産的な科学的研究に移行しているかを強調するものです。

単一の投稿に十分な小さな数式

この画期的な進歩を驚くべきものにしているのは、そのコンパクトさです。 SciTechDaily によると、反例は非常に単純な 3 次元関数であり、X の 1 つの投稿内に収まるほど短い数式です。AI 支援の反例は、予想の元の 2 次元形式を残したまま、2 次元を超えるヤコビアン予想を反証します。

そのニュアンスが重要です。この結果は、19 世紀以来存在する問題全体を解決するものではありません。その代わりに、それは予期せぬ限界を明らかにします。たとえ数学者が当初最も関心を持っていた事例が未解決のままであるにもかかわらず、一般化された高次元バージョンの予想は誤りです。

問題の背後にある歴史

ヤコビアン予想は、多項式関数、つまり特定の規則に従って数値を取り込み、新しい数値を生成する数学機械に関するものです。この設定では、数値は地図上の座標のように、空間内の点を表すことができます。関数はこれらの座標を取得して変換し、点を別の位置に移動します。数学者は、ヤコビアン行列式を計算することで、関数が空間をどの程度スムーズに再配置するかを調べることができます。この推測は基本的に、「行列式がゼロ以外の定数である場合、関数は必ず逆多項式をもつのか?」と尋ねます。

この問題には長い歴史があります。これは 1884 年にチェコの数学者ルートヴィヒ クラウスによって最初に述べられ、その後 1939 年にドイツの数学者オットハインリヒ ケラーによって任意の数の次元に一般化されました。これは非常に重要であると考えられていたため、フィールズ賞メダリストのスティーブン スメールは 1998 年の影響力のある次世紀の数学的問題リストにこの理論を含めました。

この予想は、その長い生涯を通じて、20 世紀の著名な数学者であるベニアミーノ セグレとヴォルフガング グレブナーによる試みを含む、多くの証明を主張する結果をもたらしました。誰も持ちこたえなかった。チャットボット スタイルのモデルの助けを借りて、反例が浮上したという事実は、AI が証明の構築だけでなく、予期せぬ数学的オブジェクトの発見にもどのように役立つことが証明されているかを示しています。

高次元事件が失敗した理由

重要な違いは、2 次元と 3 次元 (またはそれ以上) の間です。元の 2 次元のヤコビアン予想、代数幾何学を何世代にもわたって占有してきたバージョンは、まだ解明されていません。 Alpöge と Claude Fable 5 が発見したのは 3 次元での反例であり、1939 年にケラーが定式化した一般化された予想を打ち破るのに十分です。

それはそれ自体で意味のある結果です。多くの研究者は、もしこの推測が本当であれば、どこでも当てはまるのではないかと疑っていました。 3 次元における明確な反例は可能性の空間を狭め、残りの疑問を再構成します: 2 次元は本当に特別なのか、それともそこにも反例が潜んでいるのか?

反例の簡潔さ自体が注目に値します。 Fortune は、AI ツールが 100 年来の問題を次々と解決する中、数学者たちが「非常に急速で非常に不安な変化」に取り組んでいると報じた。フィールズのメダリストによって支持された問題を打破する小さな公式は、まさにその不安と興奮を煽るような展開です。

数学における AI の役割の増大

大規模な言語モデルを扱う数学者は最近いくつかの注目すべき結果を生み出しており、ヤコビアン予想の反例はこれまでの多くの進歩とは一線を画しています。 Alpöge と Claude Fable 5 のコラボレーションにより、総当たりの検索を徹底的に行うのではなく、簡潔で人間によるチェックが可能な答え、つまり数学者が検証して構築できる種類の出力が生成されました。

この発見は、より広範なパターンも浮き彫りにしました。フロンティアモデルは、広大な組み合わせ空間を探索し、人間が決して遭遇することのない候補オブジェクトを提案する能力をますます高めています。これらの候補者が手作業で検証できるほど身長が低い場合、AI の幅広さと人間の判断の組み合わせが強力になります。

それが将来に何を意味するか

SciTechDaily が指摘したように、これが数学の将来、そして人間の数学者にとって何を意味するかはまだわかりません。反例によって数学者が時代遅れになるわけではありません。むしろ、未解決の疑問が鮮明になり、研究者に正確な新しい目標が与えられます。しかし、このことは、AI が教科書の要約を超えて、創造的な数学的研究の中心に進出したことを裏付けています。

その結果は、Anthropic の注目を集める検証でもあります。クロード寓話 5 は発見のわずか数週間前に一般に公開され、同社の数学者の 1 人が前世紀の偉大な頭脳の一部を妨げた問題を解決するために使用しました。自社のモデルが最前線で推論できることを証明しようと躍起になっている企業にとって、最終的に解明された 1939 年の予想以上に信頼できるものはほとんどありません。

AI の先を行く

AI を活用した発見のペースは、科学、数学、業界全体で加速しています。 AI ニュース速報 デスクをブックマークして、モデルのリリース、研究の画期的な進歩、政策の変更を継続的に報道してください。

AIニュースをもっと読む→