AI 모델에서 수학적 추론의 한계