Cuando AI demuestra teoremas: qué quedará de la profesión de los matemáticos

Google DeepMind y OpenAI han creado sistemas capaces de resolver problemas a nivel de Olimpiada Internacional de Matemáticas y publicar investigaciones originales de nivel PhD. La comunidad matemática ahora enfrenta una pregunta que hace apenas cinco años parecía absurda: ¿qué quedará para las personas cuando las máquinas demuestren teoremas?

La IA se Lleva el Oro Olímpico

En el verano de 2024, los sistemas de Google DeepMind y OpenAI alcanzaron por primera vez el nivel de los mejores estudiantes de matemáticas del mundo en educación secundaria, ganando medallas de oro en la Olimpiada Internacional de Matemáticas. Esta competencia anual desafía a los participantes a resolver seis problemas extremadamente difíciles en tiempo limitado, abarcando diversos campos—desde teoría de números hasta combinatoria. El siguiente paso fue un resultado aún más significativo: el sistema experimental Aletheia de DeepMind obtuvo de forma independiente resultados publicables de nivel PhD en geometría aritmética.

El sistema de OpenAI refutó una hipótesis importante en geometría combinatoria—un resultado digno de una revista de matemáticas de prestigio. Expertos líderes llamaron a esto un hito: la IA demostró pensamiento independiente y original por primera vez, en lugar de simplemente reproducir métodos conocidos.

En paralelo, los sistemas LLM aprendieron a traducir automáticamente demostraciones humanas en código formal para herramientas de verificación como Lean o Isabelle. Este proceso laborioso anteriormente requería meses de trabajo. El sistema Gauss formalizó independientemente en dos semanas una demostración del teorema de empaquetamiento de esferas en espacio de 24 dimensiones, por el cual la matemática Marina Viazovska recibió la Medalla Fields.

Tres Posiciones y Pavor Existencial

En el Foro de Laureados de Heidelberg en septiembre de 2025, jóvenes matemáticos enfrentaron una visión aterradora del futuro. El escenario presentaba predicciones sobre sistemas de IA sobrehumanos que formularán hipótesis, construirán demostraciones y verificarán resultados sin participación humana. Yang-Hui He del Instituto de Ciencias Matemáticas de Londres declaró: las personas corren el riesgo de convertirse en "sacerdotes que atienden oráculos." "Sentí que todos a mi alrededor estaban preocupados—simplemente no habían pensado tan lejos. Fue como una gran bomba," dice la matemática Jessica Randall de Google Developer Groups. "Comenzamos a darnos cuenta de que la IA podría reemplazarnos."

Tres posiciones han surgido hoy en la comunidad:

• IA como herramienta: la comprensión permanece con los humanos, la IA es una calculadora avanzada
• IA como compañera: humanos y máquinas resuelven juntos tareas inaccesibles para cada uno individualmente
• IA como oráculo: lo principal es obtener una respuesta, sin importar cómo o por quién

El Medalla Fields Terence Tao, quien ganó oro olímpico a los 11 años, ve el futuro en "matemática grande"—colaboraciones descentralizadas a gran escala donde las personas toman las partes creativas y la IA maneja la rutina técnica. "Hace cien años, casi todo artículo salía con un único autor. En el futuro, tal vez ni yo sepa: ¿es una persona o IA?"

Riesgos: Motivación y Atrofia

La primera amenaza es la motivación. Si la IA completa la mayor parte del camino de forma independiente, ¿por qué pasar años en una lucha lenta y dolorosa hacia la comprensión? El Medalla Fields Akshay Venkatesh de Princeton admite: "Hubo momentos en los que pasé años construyendo lentamente hacia la comprensión. Si una computadora asume grandes partes de este trabajo—¿tendrá la motivación de sumergirse tan profundamente?" La segunda amenaza es la próxima generación. Los estudiantes que evitan la lucha con un problema en favor de una respuesta rápida no construyen su propia intuición matemática. Con el tiempo, los matemáticos corren el riesgo de olvidar cómo pensar más allá de los enfoques de IA en los que fueron entrenados.

Es por eso que la comunidad ya está organizando talleres, escribiendo ensayos y desarrollando reglas para el uso de IA en investigación y publicaciones.

"Las matemáticas nos enseñan a pensar lógica y racionalmente—esto ayuda en todos los aspectos de la vida," dice

Jessica Randall.

Qué Significa Esto

La IA no "le saca el alma" a las matemáticas—obliga a los matemáticos a responder honestamente por qué se dedican a ello. Parece que la respuesta no está en ser el primero en encontrar un resultado, sino en el camino mismo hacia la comprensión—en la alegría que ningún algoritmo puede reemplazar o automatizar.