数学的帰納法

数学的帰納法のタスクは、大規模言語モデルが数学的帰納法を理解し、帰納的な議論の合理性を正しく評価できるかどうかを検証します。このタスクは、形式的な論理的推論の性能を評価することを目指しており、推論タスクの一部として位置づけられています。このタスクには、学術研究や応用における重要な価値があります。