Modelo de IA para resolução matemática