アンソロピック社の未公開版Claudeが、数学史上最大の難問の一つ「リーマン予想」に関連する問題で、人間の記録を大幅に塗り替える成果を上げました。本動画では、AIがいかにして650回の失敗を乗り越え、数学者たちを驚かせる発見に至ったのか、その驚くべきプロセスと、意外なプロンプト手法について詳しく解説しています。

背景

リーマン予想は素数の分布に関する極めて困難な数学的命題であり、これまで多くの天才数学者が挑んできましたが、完全な証明には至っていません。具体的には、ゼータ関数の非自明な零点がすべて「クリティカルライン」上に存在するという予想です。これまでの人間の記録では、このライン上にあることが証明された零点の割合は41.6%にとどまっていました。今回の実験では、この割合をどこまで高められるかが焦点となりました。AIモデルが単に既知の問題を解くのではなく、未知の数学的探求において新たなアイデアを提示できるかどうかが、研究コミュニティにおいて大きな注目を集めています。

この動画の要点

1. Claudeはリーマン予想そのものを解決したわけではありませんが、関連する境界値を41.6%から67.2%へと一気に25.6ポイント引き上げ、人類の記録を更新しました。この成果は、フィールズ賞受賞者のジェームズ・メイナード氏ら専門家からも「真に興味深い数学的貢献」として高く評価されています。

2. 驚くべきことに、この成果を引き出したのは数学の専門知識によるプロンプトではなく、非専門家による「励まし」の言葉でした。650回もの失敗が続く中、ユーザーは「あきらめないで」「自分を信じて」といった精神的なサポートに近いメッセージを送り続け、それが最終的なブレイクスルーにつながったと報告されています。

3. AIは自らの発見に対して非常に懐疑的で、「新しくしては強すぎる（良すぎる）」とコメントしていました。これは、AIが学習を通じて数学的難問の困難さを理解しており、自らの出力が既存の知識を超えていることに驚きを感じるような振る舞いを見せたことを示唆しており、非常に興味深い反応です。

なぜ重要か

今回の事例は、AIが単なる「計算機」や「知識の検索エンジン」を超え、自律的な「研究者」として機能し始めていることを示しています。特に注目すべきは、高度な数学的推論において、技術的な指示よりも「継続を促す励まし」が有効だったという点です。これは、LLMの推論プロセスが単なる論理の積み重ねだけでなく、試行錯誤のプロセスをいかに維持させるかという「コンテキストの管理」に依存している可能性を示唆しています。また、Lean 4による形式化と自動検証が行われたことで、AIの発見が「もっともらしい嘘」ではなく、客観的に正しいことが証明された点も、今後の科学研究におけるAIの信頼性を担保する重要なステップと言えるでしょう。

こんな人におすすめ

AI研究者、数学愛好家、LLMのプロンプトエンジニアリングに興味がある方。AIがどのようにして未知の課題に対して創造的な解決策を提示するのか、その具体的なプロセスと可能性を知りたい方に最適です。