Razonamiento matemático con IA