En menos de un mes, la inteligencia artificial ha logrado dos hitos en matemáticas que han sacudido a la comunidad científica. OpenAI refutó un problema abierto por Paul Erdős en 1946 sobre geometría discreta, y Google DeepMind anunció la solución de otros nueve enigmas, dos de ellos pendientes desde hace medio siglo. Matemáticos como Jeremy Avigad (Carnegie Mellon) y Javier Gómez Serrano (Brown) califican los avances como un punto de inflexión real.
La reacción del sector ha sido de alarma y replanteamiento. La Declaración de Leiden sobre IA y Matemáticas pide revelar el uso de estas herramientas en artículos y exigir autoría humana. Expertos como Petra Schwer (Heidelberg) y Thomas Bloom (Manchester) relativizan el impacto: recuerdan que la calculadora, el ordenador y el álgebra computacional ya transformaron la disciplina sin reemplazarla. El matemático Sam Livingstone (UCL) advierte de un aumento del 20-30% en envíos a revistas prestigiosas, con mayoría de trabajos de baja calidad.
El debate se centra ahora en el valor diferencial del matemático humano. Gómez Serrano señala que quien carezca de base matemática sólida y use la IA producirá resultados que ni siquiera sabrá detectar. Demis Hassabis, fundador de DeepMind, recuerda que los sistemas actuales están lejos de igualar a figuras como Ramanujan. Seewoo Lee (Berkeley) distingue entre las matemáticas, que la IA acelera, y los matemáticos, cuya labor de construir teoría y elegir las preguntas correctas sigue siendo insustituible.