Viernes 30 de octubre de 2026 ·

OpenAI afirma que su prueba de Navier-Stokes costó unos 10 millones de dólares y podría bajar a 100.000 el año que viene

Relevancia 55 de 100 Estados Unidos, California

Según OpenAI, un sistema interno de IA produjo una demostración analítica del problema de existencia y suavidad de Navier-Stokes, uno de los Problemas del Milenio, y su formalización en Lean. Según se informa, superó a GPT-6 Astra, el modelo insignia de la empresa. El trabajo usó unos 10.000 agentes coordinados durante unas 88 horas, más 17 horas de verificación, con un coste estimado de entre 10 y 15 millones de dólares, y los matemáticos discuten quién merece el crédito.

Qué significa

Si la previsión se cumple, probar problemas matemáticos complejos con IA sería mucho más barato, lo que cambia cómo se financia la investigación matemática.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

También ese día

Todas las noticias de IA del viernes 30 de octubre de 2026 ->