El grupo asesor de OpenAI para matemáticas: alcance real tras la polémica de Navier-Stokes

OpenAI ha respondido a las críticas por su resultado anunciado sobre Navier-Stokes respaldando un nuevo Grupo Asesor sobre Matemáticas e Inteligencia Artificial, alojado en el Institute for Advanced Study (IAS) de Princeton. El mecanismo da a matemáticos destacados un canal formal para aconsejar sobre la evaluación y divulgación de resultados generados por IA. Pero es un órgano asesor: no es una revista científica, una autoridad independiente de verificación de pruebas ni un regulador del programa de investigación de OpenAI. 332

Qué motivó su creación

El 8 de septiembre, OpenAI publicó un manuscrito de 166 páginas y una formalización en Lean —un asistente de demostración que permite comprobar pruebas de forma mecánica—. La empresa sostiene que el trabajo resuelve el problema de existencia y regularidad de Navier-Stokes y muestra que un flujo tridimensional inicialmente suave, sometido a una fuerza suave, puede desarrollar una singularidad en tiempo finito. 6

La formalización ofrece a los investigadores un artefacto verificable por máquina; el manuscrito es, en cambio, la explicación pensada para lectores humanos. Tras la publicación, se informó de que la demostración requería tiempo para ser desentrañada y de que el nuevo grupo surgía como respuesta a las dudas sobre cómo se revisan y difunden grandes hallazgos matemáticos producidos por IA. 2

La controversia también incluye una disputa distinta sobre autoría y prioridad. Tristan Buckmaster y Levent Alpöge publicaron resultados verificados en Lean sobre problemas relacionados de ecuaciones de fluidos aproximadamente en el mismo periodo, y las publicaciones derivaron en un conflicto público por la atribución. Esa cuestión no es la misma que comprobar si la prueba formal de OpenAI pasa la verificación: afecta al origen de las ideas, el acceso a ellas y el reconocimiento académico adecuado. 1

Los nueve miembros fundadores

El panel inicial está formado por:

• François Charles
• Camillo De Lellis
• Timothy Gowers
• Martin Hairer
• Nikhil Srivastava
• Ulrike Tillmann
• Ravi Vakil
• Edward Witten
• Melanie Matchett Wood 26

El grupo está alojado en el IAS, aunque se describe como independiente de OpenAI. 33

Qué sí puede hacer el grupo

OpenAI afirma que el panel asesorará sobre la evaluación y la comunicación de nuevos resultados matemáticos: su relevancia, la difusión coordinada y las normas académicas y profesionales aplicables. 1733

Su independencia declarada incluye varios elementos concretos:

• Sus miembros no reciben remuneración de OpenAI.
• Pueden ofrecer recomendaciones que OpenAI no haya solicitado.
• Pueden comentar públicamente el impacto de OpenAI en las matemáticas.
• Pueden hacer públicas sus recomendaciones.
• Pueden modificar por sí mismos la composición del grupo. 33

Estas condiciones son relevantes porque abren una vía para que los asesores cuestionen a OpenAI en público, y no solo en conversaciones privadas. Aun así, su autoridad es consultiva, no vinculante. 33

Sus límites: qué no puede hacer

El panel no tiene poder de decisión sobre la dirección ni el calendario de investigación de OpenAI. La empresa dice expresamente que el grupo no asesorará sobre el ritmo de su trabajo interno en matemáticas. 332

En la práctica, eso implica que no puede:

• detener un anuncio de investigación;
• obligar a OpenAI a publicar una prueba, un modelo o el registro interno de investigación;
• imponer cambios en la estrategia de publicación de la empresa;
• decidir que una afirmación matemática queda oficialmente aceptada por la comunidad científica; ni
• resolver por sí solo una disputa anterior sobre prioridad o atribución.

La diferencia es esencial: el grupo puede recomendar estándares y expresar objeciones, pero OpenAI conserva el control de sus modelos, sus procesos internos, la evidencia que divulga y la adopción de esas recomendaciones. Por ello, conviene entenderlo como un puente entre un laboratorio de IA y la comunidad matemática, no como un sustituto de la revisión independiente por pares. 332

Por qué la independencia y la representación siguen bajo escrutinio

El estatuto de OpenAI concede al grupo una libertad relevante para hablar y publicar, pero su influencia dependerá de que sus miembros ejerzan esa facultad y de que OpenAI esté dispuesta a reaccionar. Que no pueda opinar sobre el ritmo de investigación es especialmente significativo, porque los anuncios rápidos y orientados a la repercusión pública fueron una parte central de las críticas a la forma en que los laboratorios de IA presentan afirmaciones matemáticas. 233

Los integrantes del panel tienen trayectorias muy destacadas, algo que le aporta credibilidad. Sin embargo, un grupo de nueve personas no representa automáticamente todas las perspectivas pertinentes: especialistas en métodos formales, investigadores de las subdisciplinas afectadas, matemáticos en etapas tempranas de su carrera y comunidades fuera de las instituciones presentes en el panel fundador pueden tener posturas diferentes sobre revisión, acceso, crédito y normas de publicación. También se han planteado preguntas sobre cómo se escogió a sus miembros. 37

Que no haya remuneración puede reforzar la separación respecto de OpenAI, pero también significa que la capacidad del panel para realizar una revisión sostenida y exigente dependerá del tiempo disponible de sus integrantes y de su acceso a los materiales subyacentes.

Qué significa para la afirmación sobre Navier-Stokes

La verificación en Lean es importante porque permite comprobar mecánicamente si un teorema se sigue de las definiciones, axiomas y lemas codificados en una prueba. Sin embargo, una formalización comprobada por máquina no hace automáticamente que el argumento sea comprensible para las personas, no demuestra por sí sola que cada decisión de modelización refleje la afirmación informal buscada y tampoco resuelve cuestiones de relevancia o explicación.

El grupo asesor no altera esa división básica de tareas. Puede aconsejar sobre cómo evaluar y comunicar un resultado; los matemáticos independientes todavía deben examinar el manuscrito, los artefactos formales, los supuestos y la relación entre el teorema formulado y el problema original. 332

Del mismo modo, su creación no resuelve por sí misma la disputa de atribución relacionada con Buckmaster. Una solución creíble requeriría un proceso basado en evidencias que examine la cronología, las contribuciones, el acceso a las ideas y el crédito académico; no bastaría una recomendación de un panel asesor. 1

La prueba decisiva: la afirmación de más de 100 resultados adicionales

OpenAI afirma que su modelo interno ha resuelto más de 100 problemas matemáticos abiertos adicionales y que el grupo asesor ayudará a gestionar una publicación responsable de esos resultados. 3633

El panel podría reforzar la credibilidad del proceso si promueve una secuencia de publicación que permita una evaluación independiente real:

1. Definir cada problema con precisión. Una lista pública debería distinguir entre teoremas establecidos, soluciones reclamadas, extensiones y resultados relacionados.
2. Publicar trabajo legible y verificable por máquina. Las pruebas para lectores humanos explican por qué importa un resultado; los artefactos formales permiten reproducir la comprobación mecánica.
3. Facilitar revisión por especialistas. Un resultado de dinámica de fluidos, álgebra, geometría o lógica debe ser examinado por investigadores del área, no solo por un panel generalista.
4. Documentar procedencia y contribuciones. Los registros claros son especialmente importantes cuando puedan discutirse la prioridad, el acceso a modelos o el uso de trabajos previos no publicados.
5. Separar descubrimiento y validación. Un sistema de IA puede generar una demostración prometedora, pero la aceptación por la comunidad depende del examen abierto y de una comunicación académica duradera.

El nuevo panel es, por tanto, un experimento relevante de gobernanza, pero no una respuesta definitiva a la controversia. Su valor se medirá por si sus recomendaciones se hacen públicas, por si OpenAI aporta evidencia suficiente para que matemáticos externos comprueben las afirmaciones y por si las futuras publicaciones dan a la revisión y a la atribución la misma prioridad que al anuncio.