Qué pasó
- NPR publicó el 22 de septiembre de 2026 una revisión del manuscrito con que OpenAI afirmó, el 8 de septiembre, haber resuelto el problema de Navier-Stokes.
- James Maynard, de la Universidad de Oxford, sostiene que es “muy difícil extraer comprensión humana” de la solución. Javier Gómez-Serrano, de Brown, dice que “el paper no está escrito para humanos” y que requiere una reescritura seria antes de servirle al campo.
- Tristan Buckmaster, de la Universidad de Nueva York, califica el manuscrito de 166 páginas como “un texto terriblemente escrito”. Martin Hairer, de la EPFL, confirma que la comunidad matemática esperaba que ese fuera el próximo problema en caer.
- La corrección técnica no está en disputa: la prueba fue verificada mediante formalización en Lean. Lo que falta es la explicación de por qué funciona.
Por qué importa
- Un resultado correcto que nadie puede leer no se puede auditar, extender ni enseñar. Para cualquier organización que evalúa incorporar resultados producidos por máquinas, este es el costo oculto: la validación se traslada a otra máquina.
- El campo que más rápido adopta salidas de IA sin exigir legibilidad es el que primero pierde la capacidad de revisarlas. Vale para matemáticas y vale para el informe que una empresa manda a su directorio.
- La verificación por formalización funciona para una demostración. No existe equivalente para un análisis de mercado, un diagnóstico o una recomendación de política pública, que es donde la mayoría usa estas herramientas.
El dato
166 páginas tiene el manuscrito. Ninguno de los cuatro matemáticos consultados encontró en ellas una idea transferible a otros problemas.
Contexto
La nota del 9 de septiembre ya registraba que el problema del anuncio era la autoría: Buckmaster y Levent Alpöge, de Anthropic, se acercaban a una solución cuando OpenAI desplegó 10.000 agentes durante 88 horas. Buckmaster afirma que le ofrecieron autoría si abandonaba a Alpöge; OpenAI niega haber usado su trabajo. En paralelo, la compañía se puso la nota sola al declarar cumplida su meta del becario automatizado.
Qué viene
- Sin plazos anunciados para una versión reescrita del manuscrito.
- El premio de US$ 1 millón asociado al problema no ha sido adjudicado.
Cierre
El objetivo declarado de la disciplina nunca fue cerrar la lista de problemas abiertos, sino entender por qué las ecuaciones se comportan como lo hacen. La lista tiene un ítem menos y la pregunta sigue igual.
Fuentes
- NPR — AI solved one of math’s hardest problems. Humanity learned nothing (so far)
- Scientific American — OpenAI claims blockbuster math breakthrough amid swirl of controversy
Editado por Rodrigo Cornejo. Cómo seleccionamos y verificamos cada hecho está en quiénes escriben.
