IA en matemáticas: ¿Genio o herramienta? Terence Tao frena la idolatría nocturna

Cuando la IA resuelve un problema matemático abierto durante 50 años, los titulares explotan. Pero hay un problema: estamos idolatrando lo que realmente es solo una máquina de búsqueda mejorada.

Hace poco, Terence Tao —uno de los mayores impulsores de la investigación con IA en matemáticas— decidió pausar la euforia colectiva. No lo hizo en una conferencia, sino publicando de madrugada en GitHub, casi como si quisiera apagar el fuego antes de que arrase la comunidad matemática. Su mensaje es directo: dejan de sacar contexto.

El cuento de hadas que nadie cuestionaba

La narrativa es seductora: “¡La IA conquista problemas que los matemáticos llevaban décadas sin resolver!” Para quienes sueñan con la AGI, es música. Para quienes defienden la capacidad humana, suena como una amenaza existencial.

Lo curioso es que Terence Tao no dice que la IA sea inútil. Dice algo mucho más incómodo: que estamos comparando manzanas con naranjas.

Cuando miras los problemas de Erdős “resueltos” por IA, necesitas preguntarte: ¿Realmente no estaban resueltos? ¿O simplemente no estaban bien documentados? Muchos problemas en la web etiquetados como “Open” son simplemente “frutos bajos” poco revisados. Algunos ya tenían soluciones en la literatura que nadie había actualizado. Otros tienen enunciados originales ambiguos que la IA “resolvió” por interpretación literal.

El verdadero trabajo de la IA: la ingeniería, no la intuición

Aquí viene lo interesante: Terence Tao no está negando los logros. Está redefiniendo qué significa “logro”.

La IA es excelente en:

• Búsqueda sistemática: escanear espacios de problemas enormes
• Verificación formal: convertir pruebas en código Lean comprobable
• Reescritura: pulir argumentos existentes
• Tareas rutinarias: seguir patrones conocidos

Lo que la IA NO hace (aún) es lo que define la matemática real: plantear las preguntas correctas, crear conceptos nuevos, conectar un resultado con toda la red de conocimiento existente.

Una prueba técnicamente correcta que genera una IA a menudo carece de contexto, motivación, comparación con literatura existente. Es como un mapa sin compass: funciona si sabes dónde ir, pero no te ayuda a descubrir nuevos territorios.

El matemático del futuro: estratega, no pensador solitario

Aquí es donde Tao encuentra el equilibrio. No es “IA vs Humanidad”. Es “Humanidad + IA”.

El futuro del matemático no es menos emocionante, solo diferente. Pasaremos de ser pensadores solitarios a ser comandantes de ejércitos silenciosos de máquinas. Nosotros ponemos la visión, la IA abre caminos. Nosotros identificamos qué preguntas importan, la IA ayuda a construir las respuestas.

Lo que Terence Tao intenta detener con su publicación nocturna es simple: la idolatría de casos aislados. No porque la IA sea débil, sino porque la sobreestimación nos distrae del trabajo real.

El llamado: dejar de idolatrar, empezar a colaborar

La matemática siempre ha sido colaborativa —entre humanos, entre generaciones, entre disciplinas. Que la IA sea parte de esa conversación es lógico. Pero una herramienta revolucionaria sigue siendo una herramienta.

Lo importante ahora es ser honesto: ¿Qué problemas realmente resolvió la IA? ¿Qué dificultad tenían? ¿Qué valor aportan a la disciplina?

Porque la verdadera revolución en matemáticas no será cuando la IA resuelva más problemas que los humanos. Será cuando humanos y máquinas descubran verdades que ninguno podría haber encontrado solo.