#mathematical reasoning in ai