AIのためのラマヌジャンチャレンジ
ラマヌジャンチャレンジは、AIが数学的直感を発揮できるかどうかを競うコンテストです。このプロジェクトは、数学者ラマヌジャンのような直感的な数式発見をAIで再現することを目指しており、参加者は新たな数学的恒等式や美しい数式をAIに見つけさせる方法を競います。
背景メモ
- Ramanujan Machineは、インドの数学者シュリニヴァーサ・ラマヌジャン（直感で数多くの美しい数式を発見した天才）に触発された研究プロジェクト。πやeといった基本定数を新たな数式で表現する「予想」を自動生成・証明するアルゴリズムを開発している。
- 「Ramanujan Challenge」は同プロジェクトが運営するコンペで、AI／機械学習に「数学の未知の関係式を発見させる」能力を競わせるもの。従来の計算（単なる数値計算）ではなく、創造的・発見的な数学タスクをAIに課す点が画期的。
- 数学における自動定理発見は、自動証明（Isabelle, Coqなど）とは異なり、まだ初期段階。このチャレンジは、AIが数学研究の"アイデア出し"をどこまで支援できるかを試す公共実験の側面を持つ。
- 発表元のTechnion（イスラエル工科大学）チームは、以前にもコンウェイ定数や多項式の根のパターンなどでAI支援による新知見を発表しており、今回のチャレンジはその延長線上にある。