🧮 "Que la IA deje de resolver problemas matemáticos". Así lo contaron muchos titulares, en Japón y fuera de Japón, sobre la declaración conjunta que veinticinco medallistas Fields firmaron el 11 de septiembre de 2026. Pero el texto original dice otra cosa. Los firmantes empiezan reconociendo que la capacidad matemática de la IA se ha vuelto real en los últimos meses, y a partir de ahí atacan algo distinto. No la tecnología, sino la vara con la que se la mide.

Qué ocurrió el 11 de septiembre

La declaración apareció el 11 de septiembre en el blog del matemático Terence Tao, con el texto completo alojado en mathandai.org. Se titula "A Severe Misalignment of AI in Mathematics", un nombre que Nikkei, Yomiuri y Asahi dejaron fuera de sus artículos.

La firmaron veinticinco medallistas Fields. La medalla Fields se entrega cada cuatro años a matemáticos menores de cuarenta y suele describirse como el Nobel de las matemáticas. Los firmantes abarcan cuarenta y ocho años de premios, desde Pierre Deligne, galardonado en 1978, hasta Yu Deng, que lo recibió en julio de 2026. Por Japón figura Shigefumi Mori, laureado en 1990.

Tao explicó que el texto salió de cerca de una semana de discusión entre matemáticos. Saltaron el largo proceso de consulta que hay detrás de documentos comparables, como la declaración de Leiden, porque consideraron urgente la situación. No hay un autor único: el texto sale a nombre de los veinticinco. Y al 16 de septiembre sigue abierto, ya que cualquiera puede sumar su adhesión mediante ORCID o un correo institucional.

El detonante llegó tres días antes. El 8 de septiembre, OpenAI anunció un resultado sobre las ecuaciones de Navier-Stokes, uno de los siete Problemas del Milenio.

Lo criticado no es "resolver"

La declaración arranca con una concesión que encaja mal con la cobertura que recibió. Los grandes modelos de lenguaje, dice, han mejorado de forma drástica, hasta el punto de resolver problemas abiertos importantes en muchos campos de las matemáticas. Los firmantes no discuten la capacidad. Ahí empieza el argumento.

Lo que llaman perjudicial es una cosa concreta: el empeño de las empresas de IA en resolver problemas matemáticos como referencia de rendimiento. Una referencia de rendimiento, o benchmark, es una prueba común que sirve para comparar un modelo con otro. Ese empeño, afirma la declaración, es "perjudicial para la ciencia de las matemáticas y para la comunidad matemática" (en el original: detrimental to the science of mathematics, and to the mathematical community).

El sujeto de esa frase son las empresas de IA, no la IA. El objeto es usar los problemas como marcador, no resolverlos. El blanco es una métrica, no una tecnología.

Cualquier otra lectura sería extraña. Tao es un conocido defensor del uso de la IA en matemáticas. Según su propio registro público, lleva años impulsando la formalización en el asistente de demostración Lean y ha compartido sesiones en las que usó modelos de lenguaje para verificar álgebra y localizar bibliografía en su propia investigación. No es alguien que pida a la IA que se marche.

Respuestas rápidas y correctas no son comprensión

El desajuste del título es una discrepancia entre funciones objetivo. Lo que optimizan las empresas de IA es producir enunciados verdaderos más rápido y en mayor cantidad. Lo que persiguen las matemáticas, sostiene la declaración, es la comprensión conceptual y la intuición, y transmitir ambas a la siguiente generación. Resolver un problema es una herramienta para llegar ahí. No es el destino.

Las quejas concretas apuntan al procedimiento más que al contenido. Los resultados se anuncian con prisa y no queda tiempo para una redacción adecuada, para aislar los métodos e ideas nuevas de modo que otros puedan reutilizarlos, ni para citar los trabajos previos sobre los que se construyó el resultado. De ahí la declaración pasa a lo que llama graves problemas de atribución y plagio. Si nadie registra de quién fue la idea que funcionó, la comunidad no puede injertar el resultado en el cuerpo existente de las matemáticas.

Enunciados que se pueden marcar como verdaderos o falsos, producidos en masa a un ritmo cada vez mayor, pueden destruir el suelo en el que crecen las ideas nuevas en lugar de abonarlo.

La demostración que lo desató tenía justo ese problema

Lo que OpenAI anunció el 8 de septiembre era más estrecho de lo que sugirió la cobertura. La compañía dijo haber establecido los enunciados (C) y (D) de la formulación oficial del problema: que bajo forzamiento externo, un flujo tridimensional inicialmente suave puede desarrollar una singularidad en tiempo finito. Lo que casi todo el mundo imagina al oír "el problema de Navier-Stokes" es la versión sin forzamiento, los enunciados (A) y (B), que es otra cosa. OpenAI describió haber ejecutado unos diez mil agentes en paralelo y haber llegado al resultado en unas ochenta y ocho horas. La formalización en Lean llevó diecisiete horas. El artículo tiene 166 páginas.

OpenAI también descartó el dinero: "No pretendemos reclamar el Premio del Milenio por este resultado" (en el original: We do not intend to claim the Millennium Prize for this result). Los Problemas del Milenio los fijó el Clay Mathematics Institute en París el 24 de mayo de 2000. Son siete, con un millón de dólares cada uno. Según la prensa, Martin Bridson, presidente del instituto, dijo que la evaluación sería deliberadamente pausada y rigurosa. Las reglas de Clay exigen que la demostración se publique en un medio adecuado, que pasen dos años y que la comunidad matemática la acepte de forma general antes de optar al premio. Al 16 de septiembre, la propia página del instituto sigue clasificando Navier-Stokes como "Active".

Tristan Buckmaster, de la Universidad de Nueva York, y Levent Alpöge habían publicado su propio resultado sobre las ecuaciones de Euler forzadas unas doce horas antes de que OpenAI saliera a la luz. Ambos sostuvieron que su trabajo inédito pudo llegar a OpenAI. La empresa negó cualquier acceso previo, aunque admitió que no podía descartar que datos anonimizados procedentes del uso de sus productos hubieran ayudado a mejorar sus modelos. Según la prensa, la versión inicial del artículo de OpenAI no citaba ni a Diego Córdoba y Luis Martínez-Zoroa, cuyas técnicas anteriores sostienen todo el planteamiento, ni a Buckmaster y Alpöge. Las citas de Córdoba se añadieron en una revisión del mismo día.

Las abstracciones de la declaración, esto es, los anuncios apresurados, las citas ausentes y la atribución confusa, no eran hipotéticas. Acababan de ocurrir, tres días antes de su publicación.

Y entonces los titulares borraron "empresas de IA"

En Japón, Nikkei tituló: "Problemas matemáticos difíciles resueltos con IA, 25 medallistas Fields emiten una condena: dañino para la ciencia". Yomiuri: "Usar IA para resolver problemas matemáticos difíciles es dañino para la ciencia y para las matemáticas, 25 matemáticos del mundo emiten una condena urgente". En ambos desaparecen las palabras "empresas de IA", y lo condenado pasa a ser el acto de resolver. Asahi conservó el sujeto, con "la demostración de problemas matemáticos difíciles por empresas de IA es dañina", pero aterrizó en un titular que se lee como si las demostraciones mismas fueran el problema.

Los cuerpos de texto cuentan otra historia. Asahi describió el objetivo con exactitud, como empresas que hacen resolver problemas matemáticos a la IA para exhibir su rendimiento, e imprimió la dirección de mathandai.org. Lo que se rompió fue la capa del titular.

Tampoco fallaron todos los medios japoneses. El titular de GIGAZINE nombró la disputa real: los matemáticos se oponen al uso de las matemáticas como referencia de rendimiento de la IA. THE BRIDGE enlazó tanto el blog de Tao como mathandai.org y contó incluso que se siguen recogiendo adhesiones.

La misma compresión ocurrió en inglés. "Rapid AI Proofs Are Harming Math" y "AI Problem-Solving Competitions Are Eroding the Foundations of Mathematics" convivieron con encuadres más cuidadosos, como "25 Fields Medalists Warn AI Math Benchmarks Erode Attribution and Auditability". No es un fallo japonés. Es un fallo de titulares, y sucedió en al menos dos idiomas a la vez.

Uno de los matemáticos japoneses que firmó la declaración escribió en su propio blog que le asombró ver cómo los titulares de Nikkei y Yomiuri dejaban caer la expresión "empresas de IA".

¿Por qué cuesta tanto titular esta declaración? Porque lo criticado no es una tecnología ni un producto, sino una métrica de evaluación, que es una abstracción. Los titulares piden sujeto y verbo. "Matemáticos contra la IA" se entiende al instante. "Matemáticos contra la forma de medir el progreso" no. Al comprimir, esa distinción es lo primero que se cae.

No es solo cosa de matemáticas

La declaración amplía su propio alcance en las líneas finales. Los problemas que afrontan hoy las matemáticas, dice, se parecen a los de otras profesiones científicas y creativas, y apuntan a problemas que toda la humanidad podría enfrentar. Termina pidiendo que se aborden con urgencia: en la comunidad matemática, en las empresas que construyen la tecnología y, más ampliamente, en la sociedad.

Fuera de las matemáticas hay métricas por todas partes. Tasas de acierto en pruebas de programación. Puntuaciones automáticas de traducción. Resultados en exámenes de habilitación médica. Cada una es un sustituto cómodo del progreso, y cuanto más cómoda resulta, más desplaza aquello que el campo intentaba hacer en realidad. Puede que las matemáticas solo hayan ido primero, porque sus respuestas se verifican a máquina.

Al 16 de septiembre las adhesiones se seguían recogiendo y la discusión no ha terminado. Así que la pregunta queda abierta: ¿con qué se mide hoy su trabajo, y esa vara apunta en la misma dirección que aquello que usted intenta hacer de verdad? ¿Cómo se contó esta historia en su país?

Referencias