Ramanujan MachineによるAI数学能力評価プログラム「Ramanujan Challenge」が2026年7月1日より始動する。本プログラムは、円周率や自然対数底、カタラン定数、リーマンゼータ関数の特殊値といった基礎数学定数の明示的公式求解を課題とし、現在のAIが研究段階の難解な数学的問題を処理できるかを定量的に測定することを目的とする。 解答提出は2026年8月1日23時59分（UTC）まで受け付けられる。評価基準は優先度に基づき、対話型証明補助系による形式証明、数式処理システムを用いた再現可能な導出、および人間が読解可能な証明書の三つに分類される。各提出物には検証コードと詳細な解説の添付が義務付けられ、非公開のサービスや期間中に生成された新たなソフトウェアを信頼できる数学的オラクルとして利用することは禁止されている。 審査プロセスの透明性を確保するため、主催者はアイデアの交流は促進しつつも、完全な解答の公知を締切日まで厳格に制限する。締め切り後はすべての提出内容が精査され、特に未解決予想に対する新たな証明が採用された場合、貢献者には学術成果として正式なクレジットが付与される。本挑戦は、AIの理論数学応用能力の限界値を探ると同時に、再現可能かつ検証しやすい数式研究の評価基準を確立する意義を持つ。