KI-gestützte Förderung mathematischen Argumentierens