Terence Tao ofrece en Caltech la conferencia «Matemáticas 2.0» sobre demostraciones asistidas por máquina

Terence Tao ha publicado la grabación de la conferencia «Math 2.0» («Matemáticas 2.0»), impartida en el Instituto de Tecnología de California. Empezó a preparar la charla hace más de un año y entonces la llamaba «Machine Assisted Proof», es decir, «Demostración asistida por máquina». Estaba previsto darla en mayo, pero se aplazó a octubre. El motivo fue, según Tao, una serie de acontecimientos recientes. El fragmento disponible del material no precisa cuáles. El medio chino Jiqizhixin llevó al titular la idea principal: el tiempo en que escaseaban las demostraciones se acerca a su fin.

Qué se sabe de la conferencia

El propio cambio de título es revelador. Hace un año, el tema sonaba instrumental: el ordenador ayuda a comprobar y buscar demostraciones. Para el otoño de 2026, el autor ha elegido la fórmula «Matemáticas 2.0», que apunta a un cambio en la propia práctica. Tao no lo explica en una sola frase, sino que remite a una cadena de acontecimientos de los últimos meses. Conviene consultar el texto completo y las diapositivas en la fuente original, porque el resumen se interrumpe justo donde empieza la parte sustancial.

Datos clave del fragmento disponible:

• formato: conferencia pública en Caltech; la grabación se publicó el 11 de octubre de 2026;
• título de trabajo durante la planificación: «Machine Assisted Proof»;
• título final: «Math 2.0»;
• fecha: inicialmente mayo de 2026, finalmente octubre;
• tiempo de preparación: más de un año.

De dónde sale la tesis del fin de la escasez

La idea de que las demostraciones dejan de ser un bien escaso no surge de la nada. En los últimos años, Tao trabaja de forma pública en la intersección entre las matemáticas y las máquinas. A finales de 2023 dirigió la formalización en el sistema Lean de la demostración de la conjetura PFR (conjetura polinomial de Freiman-Ruzsa).

El proyecto reunió a un equipo distribuido y llevó varias semanas. En 2024, el modelo AlphaProof de Google DeepMind resolvió problemas de la Olimpiada Internacional de Matemáticas a nivel de medalla de plata. En 2025, Tao participó en las pruebas de AlphaEvolve con decenas de problemas abiertos de análisis y combinatoria.

Todo esto es contexto previo, no contenido de la nueva conferencia, pero muestra una trayectoria. Primero, la comprobación de las demostraciones pasa a la máquina; después, le llega una parte de la búsqueda.

En la matemática clásica, la escasez de demostraciones lo determinaba todo. Un teorema se consideraba valioso en parte porque exigía años de trabajo humano, y su revisión por un evaluador también costaba tiempo. Si generar y verificar resulta más barato, cambia también la economía de la disciplina. El valor se desplaza de la demostración en sí al planteamiento de las preguntas, la elección de líneas de investigación y la comprensión de para qué sirve un resultado.

Dónde está el límite

El titular de Jiqizhixin es tajante, mientras que Tao suele introducir más matices. La formalización en Lean exige un trabajo enorme, y los modelos de lenguaje pueden equivocarse con aplomo. La búsqueda automática funciona bien allí donde el resultado se puede comprobar de forma mecánica. Por eso es razonable esperar que «Matemáticas 2.0» describa no una sustitución de los matemáticos, sino un nuevo reparto del trabajo. Pero esto es una suposición, no un resumen de la conferencia: en el texto disponible no aparece tal conclusión.

Cómo aplicarlo en la práctica

Para investigadores e ingenieros que siguen el tema, hay tres pasos útiles. Primero, ver la grabación completa y contrastar con ella cualquier resumen de segunda mano, incluido este. Segundo, aprender Lean y la biblioteca Mathlib: sobre esa infraestructura se construyen los proyectos de los que habla Tao. Tercero, para los equipos que desarrollan IA para la ciencia, la referencia es la verificabilidad. Los modelos cuyas conclusiones se comprueban automáticamente obtienen una ventaja notable frente a los que producen texto meramente verosímil.

Por ahora, la conferencia está publicada y su tesis principal sigue siendo objeto de lectura y debate. Si Tao tiene razón, los próximos años lo mostrarán en el cambio de lo que las revistas y las conferencias consideran un resultado digno de publicación.