Cuando la IA demuestra teoremas: qué le queda a los matemáticos de su profesión

Google DeepMind y OpenAI han creado sistemas capaces de resolver problemas de nivel olímpico y de publicar investigación original de nivel PhD. La comunidad matemática se enfrenta a una pregunta que hace cinco años parecía absurda: ¿qué les queda a los humanos cuando una máquina demuestra teoremas?

La IA se lleva el oro olímpico

En el verano de 2024, sistemas de Google DeepMind y OpenAI alcanzaron por primera vez el nivel de los mejores estudiantes de secundaria del mundo en matemáticas al ganar medallas de oro en la Olimpiada Internacional de Matemáticas. Es una competición anual en la que los participantes resuelven, en tiempo limitado, seis problemas dificilísimos de distintas áreas, de la teoría de números a la combinatoria.

Llegó después un resultado aún más relevante: el sistema experimental de DeepMind Aletheia obtuvo por sí solo resultados publicables de nivel PhD en geometría aritmética. Y un sistema de OpenAI refutó una conjetura importante de geometría combinatoria, un resultado digno de una revista matemática de primer nivel. Los especialistas lo calificaron de hito: por primera vez, la IA mostró un pensamiento independiente y original, y no una simple reproducción de métodos conocidos.

Al mismo tiempo, los sistemas basados en LLM han aprendido a traducir automáticamente demostraciones humanas a código formal para herramientas de verificación como Lean o Isabelle. Este proceso, muy laborioso, antes llevaba meses. El sistema Gauss formalizó por su cuenta en dos semanas la demostración del teorema de empaquetamiento de esferas en 24 dimensiones, por el que la matemática Maryna Viazovska recibió la Medalla Fields.

Tres posturas y pavor existencial

En el Foro de Laureados de Heidelberg, en septiembre de 2025, los jóvenes matemáticos se toparon con una imagen aterradora del futuro. Desde el escenario se oyeron previsiones de sistemas de IA sobrehumanos que formularán conjeturas, construirán demostraciones y verificarán resultados sin intervención humana. Yang-Hui He, del Instituto de Ciencias Matemáticas de Londres, afirmó que los humanos corren el riesgo de convertirse en «sacerdotes de los oráculos».

«Sentí que todos a mi alrededor estaban preocupados; simplemente no habían pensado tan lejos. Fue como una gran bomba», cuenta la matemática Jessica Randall, de Google Developer Groups. «Empezamos a darnos cuenta de que la IA puede reemplazarnos».

Hoy se han perfilado tres posturas en la comunidad:

• La IA como herramienta: la comprensión sigue en manos del humano; la IA es una calculadora avanzada
• La IA como socio: humanos y máquinas resuelven juntos problemas fuera del alcance de cada uno por separado
• La IA como oráculo: lo importante es obtener la respuesta, sin importar cómo ni quién

Terence Tao, medalla Fields, que ganó el oro olímpico con solo 11 años, ve el futuro en la «gran matemática»: colaboraciones descentralizadas a gran escala en las que los humanos asumen las partes creativas y la IA, la rutina técnica. «Hace cien años, casi todos los artículos tenían un solo autor. En el futuro quizá ni siquiera sepa si fue una persona o una IA».

Riesgos: motivación y atrofia

La primera amenaza es la motivación. Si la IA recorre sola la mayor parte del camino, ¿para qué dedicar años a abrirse paso lenta y penosamente hacia la comprensión? Akshay Venkatesh, medalla Fields de Princeton, admite: «A veces pasé años llegando poco a poco a comprender algo. Si un ordenador se encarga de grandes partes de ese trabajo, ¿tendrás la motivación para sumergirte igual de hondo?».

La segunda amenaza es la próxima generación. Los estudiantes que se saltan la lucha con el problema para obtener una respuesta rápida no construyen su propia intuición matemática. Con el tiempo, los matemáticos corren el riesgo de desaprender a pensar fuera de los enfoques de IA con los que se formaron. Por eso la comunidad ya organiza talleres, escribe ensayos y elabora normas para el uso de la IA en la investigación y la publicación.

«Las matemáticas enseñan a pensar de forma lógica y racional, y eso ayuda en todos los aspectos de la vida», dice

Jessica Randall.

Qué significa todo esto

La IA no «le chupa el alma» a las matemáticas: obliga a los matemáticos a responder con honestidad para qué se dedican a ellas. Parece que la respuesta no está en ser el primero en encontrar un resultado, sino en el propio camino hacia la comprensión: una alegría que ningún algoritmo puede sustituir ni automatizar.