OpenAI se prepara para publicar cientos de soluciones matemáticas generadas por IA en GitHub en una sola entrega, culminando un periodo sumamente trascendental para el trabajo de la empresa en matemáticas formales.

La publicación planificada sigue a un anuncio del 28 de agosto de 2026, en el que OpenAI reveló que había comenzado a entrenar un modelo de IA capaz de resolver el problema del Milenio de Navier-Stokes, junto con más de 100 otros problemas matemáticos abiertos de larga data. El problema de Navier-Stokes es uno de los siete Problemas del Premio del Milenio designados por el Clay Mathematics Institute, cada uno de los cuales lleva un premio de 1 millón de dólares por una solución correcta y figura entre las preguntas no resueltas más profundas de las matemáticas. Las ecuaciones mismas, formuladas en el siglo XIX, describen el movimiento de los fluidos; el problema del premio pregunta si las soluciones suaves siempre existen en tres dimensiones.

Lo que OpenAI está publicando

Se espera que la próxima entrega en GitHub incluya pruebas formales escritas en Lean 4, un lenguaje de asistente de pruebas que permite verificar argumentos matemáticos por computadora. Lean 4 es de código abierto y sustenta mathlib, una gran biblioteca de matemáticas formalizadas mantenida por la comunidad; dado que las pruebas escritas en él son verificadas por máquina, cualquiera puede volver a ejecutar la verificación una vez que los resultados sean públicos.

Esto sigue a un hito anterior en agosto de 2026, cuando OpenAI publicó soluciones a 10 problemas matemáticos abiertos en GitHub, también acompañadas de pruebas formales en Lean 4. El próximo lote sería sustancialmente mayor, descrito como una entrega significativa de resultados.

La portavoz de OpenAI, Lindsay McCallum, confirmó que la empresa está consultando a su Grupo Asesor de Matemáticas e Inteligencia Artificial para manejar la divulgación de manera responsable. No se había fijado una hora de lanzamiento confirmada al momento de redactar este artículo.

La comunidad matemática tiene preocupaciones

No todos en el mundo matemático están celebrando. Algunos matemáticos han planteado preocupaciones puntual sobre el ritmo al que las empresas de IA generan y publican pruebas, y los críticos han hecho comparaciones severas con el comportamiento competitivo entre las principales empresas de IA. Una comparación que ha circulado describe la dinámica como un comportamiento similar al de la mafia, una frase que captura la ansiedad sobre quién recibe el mérito, qué tan rápido se pueden verificar los resultados y si el proceso tradicional de revisión por pares puede mantenerse al día.

La pregunta más amplia que ahora enfrenta la comunidad matemática es cómo se asigna el mérito cuando una máquina produce la prueba. Si una IA resuelve el problema de Navier-Stokes, ¿alguien cobra el Premio del Milenio? ¿El equipo que entrenó el modelo? ¿Los investigadores que formalizaron el problema? Ya no son casos hipotéticos extremos. El único Problema del Premio del Milenio resuelto hasta ahora es la conjetura de Poincaré, demostrada por Grigori Perelman, quien posteriormente rechazó el premio.

Por qué vale la pena observar esta publicación

La decisión de OpenAI de difundir estos resultados a través de GitHub en lugar de una revista académica tradicional es en sí misma significativa. La publicación en GitHub es rápida, pública y con control de versiones, pero omite la infraestructura editorial y de revis por pares en la que las matemáticas han confiado durante mucho tiempo para la validación. Según las reglas del propio Clay Mathematics Institute, una solución reclamada debe publicarse en un medio arbitrado y mantener la aceptación general entre los matemáticos durante dos años antes de que se pague cualquier premio.

Si la solución de la IA es completa, parcial o está condicionada a supuestos que reducen su alcance es precisamente el tipo de detalle que la próxima entrega deberá aclarar. La participación de OpenAI con su grupo asesor sugiere que la empresa lo reconoce, incluso cuando el calendario de lanzamiento sigue abierto.