Matemáticas 2.0: cuando la IA publica 722 pruebas en una noche

Terence Tao, descrito a menudo como el portavoz oficioso de las matemáticas, acaba de responder a la avalancha: cientos de avances matemáticos generados por inteligencia artificial y publicados por OpenAI en cuestión de días. El presentador, Samuel Allen Alexander, relee el memorando de Matemáticas 2.0 de Tao línea por línea para discutirlo. La pregunta es sencilla y vertiginosa: cuando las máquinas demuestran teoremas, ¿para qué sirven las matemáticas?

En el relato que Tao hace del orden clásico, las Matemáticas 1.0, la prueba de una conjetura antigua desata una amplia reacción en cadena: los autores reciben invitaciones para exponer, se encuentran con especialistas, se organizan talleres, nacen colaboraciones nuevas, circulan problemas derivados y las pruebas se simplifican hasta llegar a los apuntes de clase. Esa digestión convierte un resultado en bien común del campo.

La promesa de las Matemáticas 1.0: la prueba digerida

La objeción de Tao es tajante: un problema resuelto no puede volver a estar sin resolver, y el mero conocimiento de que existe una solución contamina la búsqueda de vías alternativas. Según él, equipos asistidos por IA cosechan hoy los problemas abiertos a escala industrial, una lógica de cosecha de pruebas que agota el suelo que hacía fértiles a los campos. Donde se borra la prima por llegar primero, también se debilita el mecanismo que premiaba el pensamiento profundo.

El debate se encendió a principios de septiembre con el anuncio de OpenAI sobre la regularidad de Navier-Stokes. En una entrevista con IBM, Tao calificó el hecho de muy preocupante: cuando nudos de noventa años como Navier-Stokes se desatan antes de destilar métodos e intuiciones intermedias, se pierden los subproductos del camino. La IA habría superado así los puntos de referencia para coleccionar problemas abiertos uno por uno.

A principios de octubre el cuadro se amplió: 722 artículos de un modelo frontera no publicado, 372 familias de resultados en una veintena de subcampos. Según NewScientist, Francis Johnson, que dedicó veinticinco años al problema D(2) de Wall y escribió dos libros sobre él, recibió el resultado con estupor. SiliconAngle destaca una pieza cuasi-Riemann vinculada a la hipótesis de Riemann, de ciento cincuenta años, además de más de ochenta trabajos sobre multiplicación de matrices e informática teórica.

La avalancha de octubre: 722 artículos en una noche

Un análisis de Implicator señala que solo el 42 por ciento de los resultados destacados portaba un certificado Lean verificado por máquina; el modelo no publicado no puede reejecutarse desde fuera y no se compartió ningún enunciado. Al día siguiente se retiraron tres manuscritos por un error de signo. El episodio muestra por qué la verificación Lean debe separar los titulares certificados de las afirmaciones crudas, reserva que la propia empresa admite.

Alexander, el presentador, considera que ese cuadro está pintado desde la ventana de la élite. Cuenta que el año pasado publicó en una revista puntera de biología matemática sin recibir ninguna invitación para exponer. Los investigadores comunes, dice, jamás ven ese fasto; que Wiles guardara en secreto su trabajo sobre Fermat durante años prueba que la retención de información precede a la IA. Y con millones de pruebas de Pitágoras, nadie tiene prohibido buscar una más.

El frente de Hacker News: combinar o crear

En Hacker News, Love Parade resumió el patrón con nitidez: los modelos combinan saberes inmensos de maravilla pero flaquean al tomar distancia para proponer una abstracción elegante. Fotron defendió la tesis del ciclo de retroalimentación estrecho : cuando el resultado se verifica con facilidad, los modelos brillan, lo que explica el éxito de los asistentes de prueba junto a la IA. Alexander responde desde su experiencia: varios espectadores resolvieron con IA problemas abiertos de sus propios artículos, con un aliento verdaderamente original.

Fubble recuerda que los laboratorios proclamaron su superioridad en el go y el ajedrez antes de retirarse: ¿se abandonarán las matemáticas cuando se agoten los hitos? Ant-Man apuesta a que las alucinaciones se atenuarán, los resultados se simplificarán y el humano saldrá del ciclo. El presentador, exultante: vivimos la edad de oro más emocionante desde Euclides, y los únicos que pasan un mal día ocupan cátedras de élite.

La frase de Bner podría resumir el debate: el futuro de las matemáticas no es resolver sino contar qué se resolvió y por qué importa. La observación psicológica de Thurston pertenece a este cuadro: las matemáticas son la disciplina de las ideas que se resisten a pasar de una mente a otra. Como muestra el dosier de QuantaMagazine, los verificadores asistidos por LLM permiten trocear un problema, resolverlo por partes y reensamblarlo con confianza.

Belleza, financiación y filosofía

El elogio russelliano de 1902, belleza fría y austera, y el criterio de Hardy, sin lugar durable para matemáticas feas, ocupan un largo pasaje del vídeo. El presentador les da la vuelta: si las matemáticas puras son arte y ciencia social, el contribuyente financiará la investigación con menos entusiasmo. La epopeya de los primos hacia la criptografía entrañaría un sesgo de supervivencia: un puñado de resultados útiles oculta millones de olvidos. El criterio de belleza puede perdurar, pero no sirve como expediente de financiación.

Una entrada invitada en el blog WordPress de Tao precisa el marco con la máxima de Rav: los teoremas son los titulares, las pruebas son la historia interior. El anuncio Navier-Stokes del 8 de septiembre, se lee allí, surgió de unos diez mil agentes explorando en paralelo y luego se formalizó en Lean: exactitud respaldada por la máquina, intuición aún sin digerir. Gowers añade la misma nota: redacciones máquina mediocres quizá sean solo una molestia pasajera. Sin la historia interior , el titular queda delgado.

Queda la tarea de las Matemáticas 2.0: convertir la avalancha de soluciones en comprensión digerida, devolver la exposición y la construcción comunitaria al centro. En una academia donde la prima por llegar primero se erosiona y las montañas de artículos crecen, el choque de la IA abre también una puerta a la reforma. Vale la parábola de la fábrica de lápices del presentador: ante la abundancia, la respuesta no es más lápices. Leer más, filtrar, contar; destilar sentido, no tokens.