Hay una paradoja que define a las matemáticas del siglo XXI: la misma tecnología que muchos académicos señalan como una amenaza existencial se ha convertido en su herramienta de trabajo más indispensable. Los modelos de inteligencia artificial, desde los asistentes de demostración hasta los sistemas generativos, han irrumpido en un campo que se enorgullecía de su rigor absoluto. Y aunque los matemáticos los temen —por la posibilidad de que erosionen la confianza en los resultados o incluso vuelvan obsoleta su profesión—, no pueden dejar de usarlos. La razón es sencilla: son demasiado útiles.

La tensión no es nueva. Desde hace años, herramientas como Lean o Coq permiten formalizar pruebas complejas, y sistemas como AlphaProof ya han logrado resolver problemas de olimpiadas matemáticas. Pero la verdadera disrupción llegó con los grandes modelos de lenguaje, capaces de sugerir conjeturas, bosquejar demostraciones y explorar espacios de soluciones en segundos. Para un investigador, esto equivale a tener un becario infinitamente rápido, incansable y, a veces, alarmantemente creativo. El problema es que ese becario también alucina: inventa pasos que parecen lógicos, pero que no lo son.

Ahí radica el 'riesgo existencial' que mencionan los críticos. No se trata de que las máquinas vayan a reemplazar a los matemáticos mañana, sino de que la creciente dependencia de sistemas opacos pueda contaminar el cuerpo de conocimiento de la disciplina. Si una prueba se apoya en un resultado generado por IA que nadie ha verificado por completo, ¿sigue siendo una demostración? Los puristas dicen que no. Los pragmáticos responden que ya no hay vuelta atrás: hay problemas en topología, teoría de números o geometría algebraica que parecen inabordables sin asistencia computacional.

Lo interesante es que esta tensión no es exclusiva de las matemáticas. La biología, la física o la medicina llevan años lidiando con la misma encrucijada: la IA acelera descubrimientos, pero también introduce una especie de 'caja negra' en el método científico. La diferencia es que en matemáticas la verdad siempre ha sido absoluta, no probabilística. Un teorema es verdadero o falso, y la IA amenaza con diluir esa certeza en un mar de correlaciones estadísticas.

Aun así, los propios matemáticos que más se quejan son los primeros en abrir un asistente de IA para comprobar una hipótesis antes de intentar demostrarla a mano. Es una adicción intelectual: la eficiencia que ofrece es demasiado tentadora. Pueden probar cien posibilidades en una tarde, descartar callejones sin salida y centrar su energía en las vías más prometedoras. Eso les da una ventaja competitiva que sus colegas 'puristas' no tienen. Y en un entorno donde la presión por publicar es feroz, esa ventaja pesa más que cualquier escrúpulo epistemológico.

¿Cuál es la salida? La comunidad matemática está empezando a esbozar nuevas normas. Por un lado, crece el interés por la verificación formal: que las máquinas demuestren sus propias demostraciones, de modo que la IA no solo proponga, sino que certifique. Por otro, se exige transparencia: los modelos deben indicar su grado de confianza, y los investigadores deben declarar cuándo han usado IA en sus artículos. Revistas como 'Nature' o 'Annals of Mathematics' ya están adaptando sus guías. Pero la pregunta de fondo sigue abierta: si una demostración se genera con IA y nadie puede revisarla manualmente, ¿es matemática o es otra cosa?

Por eso importa esta noticia. No es solo un debate académico sobre métodos de trabajo; es una reflexión sobre qué significa conocer algo. Los matemáticos odian la IA porque les obliga a enfrentarse a una verdad incómoda: su disciplina ya no es un refugio aislado de la tecnología, sino un campo de batalla donde la intuición humana y la potencia bruta de las máquinas deben aprender a convivir. Y aunque muchos quisieran dejarla, no pueden. La única salida es aceptar que la IA es parte del ecosistema matemático y regular su uso con inteligencia. Al fin y al cabo, las matemáticas siempre han sabido adaptarse a las herramientas que las transforman. Esta vez, la herramienta también está cambiando a los matemáticos.