수학적 귀납법

수학적 귀납법 과제는 대형 언어 모델의 수학적 귀납법 이해 능력을 테스트하여, 이들이 귀납적 논증의 합리성을 올바르게 평가할 수 있는지 확인합니다. 이 과제는 논리적 추론을 평가하는 Reasoning 과제의 일부로, 모델의 형식적 논리적 추론 성능을 검사하는 데 중점을 두고 있으며, 중요한 학술 연구 및 응용 가치를 가지고 있습니다.