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

ラマヌジャンチャレンジは、数学定数の公式に関する研究レベルの問題を解くAIシステムの能力を評価する競技です。2026年7月1日から8月1日まで提出を受け付け、形式証明、CASベースの導出、または人間が読める証明を受理します。再現可能なコードが必要で、非公開サービスは禁止されています。