Anthropicの未発表モデルがリーマン予想に挑戦、数学界に衝撃

リーマン予想——数学界を1世紀半にわたって悩ませてきたこの核心的難題に、思いがけない挑戦者が現れた。Anthropic社がまだ公開していない人工知能モデルである。

AIはなぜリーマン予想に注目するのか

リーマン予想は、ドイツの数学者ベルンハルト・リーマンが1859年に提唱したもので、リーマンζ関数の零点の分布則に関するものだ。端的に言えば、この関数のすべての非自明な零点の実部が1/2に等しいと主張している。無数の数学者が生涯をかけて取り組んできたにもかかわらず、この予想は今日に至るまで厳密な証明がなされておらず、ミレニアム懸賞問題の一つに数えられている。

TechCrunchの報道によると、Anthropicの未発表モデルはこの古来の問題において「予想を上回る進展」を達成したという。モデルはリーマン予想を完全に解決するには至っていないものの、その推論過程で示されたいくつかの画期的なアイデアは、評価に参加した数学者たちを驚かせた。

「AIがリーマン予想を直接証明することは期待していなかった——しかし、探索の過程で示された創造性と厳密さは、最も楽観的な見積もりをも超えるものだった。」——Anthropicの研究チームに近い消息筋の談。

AIによる数学的推論の質的転換点か？

従来、大規模言語モデルは数学的タスクにおいて「相関と因果を混同する」として批判されることが多く、推論ではなく模倣を得意とするとされてきた。しかし今回のAnthropicのモデルは様子が異なるようだ。モデルは既知の解析的整数論のツールを統合するだけでなく、臨界線に近づくための非従来型の補助関数を構築しようと試みた。

注目すべきは、このモデルがウェブ検索や外部データベースから追加情報を取得することなく、学習段階で蓄積した数学的知識のみを用いて自律的に推論を行ったという点だ。こうした「クローズドな推論」のあり方は、真のAI数学者への重要な一歩として一部の研究者に注目されている。

編集後記：AIと数学の共生関係

AIによる数学研究の支援は今に始まったことではない。2018年にはDeepMindのAlphaZeroが囲碁や将棋をゼロから習得し、近年では機械学習が新たな行列乗算アルゴリズムの発見にも活用されている。しかしリーマン予想は純粋数学における究極の抽象領域に属し、その難易度は応用数学の範疇をはるかに超える。

今回のAnthropicの成果は「段階的な進展」にとどまるものの、象徴的な意義を持つ。それは、大規模モデルが人類の既存の知識体系を処理するだけでなく、人類がまだ思い至っていない証明の道筋を提示できる可能性を示唆しているからだ。数学史上の多くの重大な突破は、驚くべき直感的跳躍から生まれてきた——もしAIがそうした直感を模倣し、さらに超えることができるとすれば、次の「ラマヌジャン」は必ずしも人間でなくてもよいかもしれない。

もちろん、冷静さも必要だ。未発表モデルのテスト結果はまだ査読を経ておらず、その推論過程には隠れた前提の誤りが存在する可能性もある。しかし評価に値するのは、Anthropicがこの実験をAIの数学的能力をマーケティングの売り文句にするのではなく、公開の場で議論することを選んだ点であり、AIの倫理と透明性において良い手本を示している。

今後の展望

現時点でAnthropicは、このモデルの正式リリース計画を公表しておらず、既存製品への統合方法についても明らかにしていない。しかし業界では広く、この未発表モデルがClaudeシリーズの後継アーキテクチャに基づいており、今後数ヶ月以内に研究プレビューの形で学術機関に公開される可能性があると見られている。

リーマン予想の最終的な証明が誰の手に落ちるにせよ、今回の実験は改めて私たちに示している——AIは単純な「計算機」から真の「思考者」へと進化しつつあると。数学というこの古来の学問にとって、変化はまだ始まったばかりだ。

本記事はTechCrunchより編訳