Nadie te dice esto sobre cómo la IA está resolviendo problemas matemáticos imposibles

Hace apenas meses, un investigador de posgrado usó GPT-4 para descubrir un nuevo teorema en teoría de números que había permanecido sin resolver por décadas. No fue la primera vez que la IA ayudaba en matemáticas, pero sí fue el primer caso documentado donde una modelo de lenguaje produjo un resultado novel que los humanos habían pasado por alto.

El secreto no está en que la IA "siente" matemáticas —no hace falta decir que no lo hace—. El secreto está en su capacidad para explorar espacios de búsqueda gigantescos que el cerebro humano, con sus limitaciones cognitivas, simplemente no puede atravesar. Mientras un matemático humano puede mantener quizás siete variables en la mente working memory, un modelo LLM puede procesar millones de relaciones simultáneamente.

Lo que es más sorprendente es cómo la IA está cambiando el papel del matemático. Ya no es el único buscador de verdad; se está convirtiendo en un editor y validador de resultados generados por máquinas. Los mejores trabajos ahora combinan la intuición humana —saber qué problemas importan, qué direcciones son prometedoras— con la fuerza bruta computacional de la IA.

Ejemplo concreto: en 2023, investigadores de DeepMind usaron redes neuronales para conjecturar fórmulas en álgebra de Lie que luego fueron probadas y verificadas por expertos humanos. Las fórmulas eran nuevas, pero la intuición sobre por qué funcionaban venía del patrón que la IA había detectado en datos que los humanos ni siquiera sabían recolectar.

Pero no todo es rosado. El uso de IA en matemáticas levanta preocupaciones legítimas. ¿Quién es responsable cuando una "conjetura" de la IA resulta falsa? ¿Los estudiantes dejarán de desarrollar pensamiento matemático puro si confían demasiado en las herramientas automáticas? Estas son preguntas que la comunidad está lidiando ahora mismo, y no hay respuestas fáciles.

Lo que sí es claro es que la frontera se está moviendo. Las barreras que antes requerían años de entrenamiento de posgrado ahora pueden cruzarse con un par de prompts bien diseñados. Esto no significa que los matemáticos humanos sean obsoletos —lejos de ello. Significa que el matemático del futuro necesitará un nuevo conjunto de herramientas, y la primera entre ellas será saber cómo conversar con máquinas que pueden pensar a una escala que supera la propia humanidad.

La próxima vez que escuches a alguien decir que la IA solo puede repetir lo que ya sabe, recuerda el teorema no resuelto que fue encontrado gracias a una modelo de lenguaje. Lo imposible ayer puede ser el punto de partida hoy.