La Revolución de las Matemáticas a través de la IA