OpenAI anuncia que resolvió Navier–Stokes y crea un comité de matemáticos
En una misma publicación: un modelo interno que dice haber cerrado más de 100 problemas abiertos, y un grupo de expertos independiente para gestionar la onda de choque.
En breve
OpenAI afirma que un modelo interno, entrenado a partir del 28 de agosto, ha resuelto el problema del Milenio sobre las ecuaciones de Navier–Stokes, además de más de 100 problemas abiertos de larga data en matemáticas. En el mismo comunicado, la empresa anuncia la creación de un grupo consultivo independiente compuesto por nueve matemáticos de primer nivel, encargado de evaluar y orquestar la comunicación de estos resultados. En cambio, el comité no tendrá voz sobre el ritmo de los progresos internos de OpenAI.
🍺 Versión de barra
OpenAI explica de pasada que uno de sus modelos caseros ha resuelto uno de los siete problemas del milenio y un centenar de otras cuestiones que llevaban décadas abiertas, y acto seguido anuncia la creación de un comité. Es un poco como anunciar que se ha encontrado una vacuna universal en el mismo comunicado donde se presenta el nuevo servicio de relaciones públicas. El comité, por su parte, reúne nombres muy serios —una medalla Fields, un Witten— pero su mandato excluye explícitamente decirle a OpenAI que frene. Si los resultados se sostienen, es uno de los momentos más importantes en la historia de las matemáticas; y por ahora, no hay nada que leer.
Para recordar
- 1
OpenAI dice haber iniciado el entrenamiento de un nuevo modelo interno el 28 de agosto, y afirma que desde entonces ha resuelto el problema del Milenio de Navier–Stokes.
- 2
Ese mismo modelo habría resuelto «más de 100» problemas abiertos de larga data en la mayoría de las áreas de las matemáticas, a un ritmo que sorprendió a los matemáticos de la empresa.
- 3
No hay prueba, publicación ni detalle técnico que acompañe el anuncio: el comunicado trata sobre gobernanza, no sobre resultados.
- 4
Un grupo consultivo independiente reúne a François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava, Ulrike Tillmann, Ravi Vakil, Edward Witten y Melanie Matchett Wood.
- 5
Sus miembros no reciben remuneración de OpenAI, pueden hacer públicos sus dictámenes, emitirlos sin que se les pida y modificar ellos mismos la composición del grupo.
- 6
El mandato excluye una cosa concreta: asesorar a OpenAI sobre el ritmo de sus progresos internos en matemáticas.
- 7
El anuncio responde en parte a la carta abierta «A Severe Misalignment of AI in Mathematics», que critica el uso de problemas abiertos como benchmark.
Lo que afirma OpenAI
El comunicado arranca con una frase que, de confirmarse, valdría por sí sola una década de cobertura mediática: un nuevo modelo interno, cuyo entrenamiento comenzó el 28 de agosto, habría resuelto el problema del Milenio sobre las ecuaciones de Navier–Stokes. Es uno de los siete problemas dotados de un premio de un millón de dólares por el Clay Mathematics Institute.
OpenAI añade que ese mismo modelo ha resuelto desde entonces «más de 100» problemas abiertos de larga data, repartidos en la mayoría de las ramas de las matemáticas. La empresa precisa que el ritmo de este progreso sorprendió a sus propios matemáticos.
Nada en el comunicado respalda estas afirmaciones: no hay prueba, no hay preprint, no hay lista de los problemas en cuestión, no hay nombre de revisor. Es exactamente el vacío que el comité anunciado en el resto del texto debería llenar.
El comité, su mandato y sus límites
Nueve matemáticos componen este grupo consultivo independiente: François Charles (ENS-PSL), Camillo De Lellis (IAS, GSSI), Timothy Gowers (Collège de France, Cambridge), Martin Hairer (EPFL, Imperial College London), Nikhil Srivastava (Berkeley, Simons Institute), Ulrike Tillmann (Oxford, INI), Ravi Vakil (Stanford), Edward Witten (IAS) y Melanie Matchett Wood (Harvard). El elenco es de peso: al menos dos medallas Fields, y figuras centrales del análisis, la geometría algebraica y la física teórica.
Su rol, tal como se describe: ayudar a OpenAI a evaluar la importancia de los resultados emergentes, asesorar sobre la coordinación de su difusión, recordar los estándares académicos y profesionales de la investigación matemática. El grupo también debe orientar cómo las herramientas de OpenAI pueden servir a la investigación y a la enseñanza.
Las garantías de independencia son explícitas e inusualmente precisas: sin remuneración de OpenAI, libertad para hacer públicos los dictámenes, libertad para emitir consejos no solicitados, libertad para comentar el impacto de OpenAI en las matemáticas, y control sobre su propia composición.
Se plantea una exclusión escrita en negro sobre blanco: el grupo no asesorará a OpenAI sobre el ritmo de sus progresos internos. Dicho de otro modo, puede hablar de cómo comunicar, pero no de la decisión de acelerar o no.
La carta abierta de fondo
OpenAI cita ella misma la carta abierta «A Severe Misalignment of AI in Mathematics», en la que matemáticos denuncian las externalidades negativas de una práctica que se ha vuelto habitual: usar los problemas abiertos como benchmark de validación para nuevos sistemas de IA.
La objeción no es una coquetería corporativa. Un problema abierto no es un test unitario: su valor radica en la construcción colectiva, la verificación por pares, la lentitud asumida. Convertirlo en puntuación de leaderboard cambia la naturaleza de la actividad, y puede inundar a la comunidad de supuestas pruebas imposibles de revisar a escala.
OpenAI reconoce que estas críticas «subrayan la necesidad de un compromiso reflexivo de las empresas de IA con la comunidad matemática». El comité se presenta como la respuesta —y como «un primer paso».
Lo que esto dice de la estrategia de OpenAI
Estructuralmente, el comunicado es extraño: un anuncio científico potencialmente histórico sirve de introducción a un anuncio de gobernanza. Puede leerse como prudencia —no publicar resultados sin validación comunitaria— o como una manera de hacer circular la afirmación mientras se posterga su verificación.
La creación de un comité externo, no remunerado y libre de publicar, es una concesión real. Transfiere a matemáticos reconocidos parte de la credibilidad que la empresa no puede atribuirse ella sola en este terreno. Es también una apuesta: si el comité cuestiona públicamente los resultados, OpenAI mismo lo ha armado para hacerlo.
Queda la línea roja sobre el ritmo. Un grupo que puede comentar todo excepto la velocidad a la que se avanza es tanto un dispositivo de comunicación como un contrapoder. Ese será el eje sobre el que habrá que juzgar, en los próximos meses, cuánto vale este «primer paso».
“In addition to resolving the Navier–Stokes Millennium Prize problem, this model has now resolved more than 100 long-standing open problems across most areas of mathematics.”
“Its value depends on its members being able to exercise their own judgement and challenge ours.”
“Importantly, the group will not be responsible for advising us on how to pace our internal progress on mathematics.”
Por qué importa
Si las afirmaciones se sostienen, se trataría del primer problema del Milenio resuelto por una máquina y de un centenar de resultados abiertos caídos en pocos meses —un vuelco para una disciplina cuya unidad de tiempo es la década. Pero nada es verificable en esta etapa, y ahí está el meollo: OpenAI anuncia un resultado extraordinario sin prueba, mientras crea la instancia encargada de arbitrar su credibilidad. El dispositivo es inteligente y sus garantías de independencia son reales (sin remuneración, derecho a publicar, derecho a criticar). Aun así, el alcance excluye la única cuestión incómoda, la del ritmo, y la comunidad matemática recibe un asiento en la mesa de la comunicación en lugar de en la de las decisiones. A seguir de cerca: la primera declaración pública de este comité valdrá mucho más que el comunicado que lo anuncia.
Sigue leyendo
Jev: el modelo diseñado para ser llamado por código, no por humanos
Diogo Almeida, ex-OpenAI, explica por qué creó una nueva clase de modelos «system one» — y por qué rechaza los benchmarks públicos, los refusals y el preentrenamiento.
Fuente · Latent Space · Why We Made Jev — Diogo Almeida, TypeSafe Co-founder & CEO
99 % o 0 %: cuatro expertos apuestan sobre el fin del mundo
Steven Bartlett hace que cuatro especialistas escriban su probabilidad de extinción en un sobre. Las respuestas van del 99 % a cero, y el debate que sigue es el más útil que hemos escuchado sobre el tema.
Fuente · The Diary Of A CEO · AI Emergency: The AI Labs Are Lying To Everyone, He Says 99% Chance Of Extinction | Roman Yampolskiy
#agiHoyOpenAI pide estándares mundiales antes de la auto-mejora de las IA
El laboratorio reclama un marco técnico internacional para regular el momento en que la IA haga ella misma investigación en IA — y pide a Estados Unidos que tome las riendas.
Fuente · OpenAI · Building standards for the next phase of AI