Mathematical Induction

Mathematical Induction任务测试大语言模型对数学归纳法的理解能力，通过验证模型能否正确评估归纳论证的合理性，以评估其逻辑推理水平。该任务是Reasoning任务的一部分，旨在检验模型在形式化逻辑推理中的表现，具有重要的学术研究和应用价值。