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

The Ramanujan Challenge for AI

AIが具体的な数式から正しい証明を導けるかを試す新しい挑戦が始まり、成功すれば数学的理解が進む可能性がある。