Avance Matemático: OpenAI Afirma Haber Resuelto el Problema de Navier-Stokes Usando IA

La inteligencia artificial ha invadido la ciencia fundamental. El 12 de septiembre de 2026, el laboratorio OpenAI publicó una prueba de uno de los problemas del Premio del Milenio: el problema de existencia y suavidad de Navier-Stokes. La prueba fue generada por una red neuronal y formalizada en el entorno Lean.

La comunidad matemática académica se encuentra actualmente en un estado de conmoción y escepticismo, exigiendo una verificación independiente de los resultados. Sin embargo, el mero hecho de tal afirmación marca un cambio arquitectónico colosal. Las redes generativas están pasando de la adivinación estadística de palabras (pattern matching) a cadenas complejas de razonamiento lógico formal (reasoning). Para la macroeconomía B2B, esto significa que la IA pronto podrá no solo escribir código, sino también diseñar de forma autónoma nueva física de materiales, aerodinámica y bioquímica. La I+D científica se encuentra en el umbral de la automatización total.

Fuente: OpenAI / WSJ