Qué significa ser matemático cuando la IA hace los cálculos
La irrupción de la inteligencia artificial en las matemáticas ha pasado en pocos años de la regurgitación de fórmulas básicas a la demostración autónoma de teoremas de nivel predoctoral. En el verano de 2025, sistemas de Google DeepMind y OpenAI alcanzaron la medalla de oro en la Olimpiada Internaci
