Mathematical Induction

The Mathematical Induction task tests the understanding of mathematical induction by large language models, verifying whether they can correctly evaluate the rationality of inductive arguments to assess their level of logical reasoning. This task is part of the Reasoning task, aiming to examine the model's performance in formal logical reasoning, which has significant academic research and application value.