AIモデルにおける数学的推論の限界