KI-Modell für mathematische Problemlösung