AIのためのラマヌジャンチャレンジ

2026年6月27日、Ido Kaminer率いる研究チームがarXivに「AIのためのラマヌジャンチャレンジ」と題する論文を投稿しました。このチャレンジは、現在のAIシステムの数学的スキルを評価するために設計されたベンチマークです。チームは、π、e、カタラン定数、リーマンゼータ関数の特殊値などの基本的な数学定数に関する一連の公式を提示しています。これらの問題は具体的であり、任意の精度で数値検証が可能であるため、AI評価に適していますが、その証明には非自明な数学が必要となる場合があります。数学定数は何世紀にもわたって数学者を魅了してきましたが、その評価式の探求は、無理数証明や高速収束率をもたらすなど、数学分野で最も美しい成果を生み出してきました。ラマヌジャンの遺産はこの伝統を象徴しています。

チャレンジには2種類の問題が含まれています。1つは著者が証明を知っているものの、一定期間暗号化されたままになる公式、もう1つはまだ証明されていない公式です。研究者たちは、両方のケースでAIがどのような成果を達成するか興味を持っています。解答は指定されたウェブサイトで受け付けられており、AIシステムが数学的推論の可能性を示すことが期待されています。このチャレンジは、AIの計算能力だけでなく、論理的かつ創造的な数学的思考を試すものであり、AIの数学研究への応用を促進する可能性があります。