El nuevo grupo asesor de matemática de OpenAI puede decir lo que quiera. Frenar, no.

El lunes OpenAI anunció el Advisory Group on Mathematics and Artificial Intelligence, un cuerpo independiente de nueve matemáticos alojado en el Institute for Advanced Study de Princeton. La empresa lo presenta como un puente hacia la comunidad matemática, una forma de darles a los matemáticos, según sus propias palabras, "una voz en cómo avanzamos". El anuncio llegó diez días después de que veinticinco ganadores de la Medalla Fields firmaran una carta abierta sosteniendo que la carrera de los laboratorios de IA por resolver problemas abiertos le está haciendo daño a su disciplina.

Vale la pena leer con atención las facultades que se le dieron al grupo, porque lo interesante es la que quedó afuera.

Lo que el grupo puede hacer

Sus miembros no cobran. Evalúan la importancia de los nuevos resultados y coordinan cómo y cuándo se publican. Controlan su propia composición, pueden dar consejos que OpenAI no pidió y pueden hacer públicos sus desacuerdos. Son formas concretas de independencia: un cuerpo que elige a sus propios integrantes y puede publicar sus objeciones es bastante más difícil de administrar que un panel de revisión rentado.

Se nombraron nueve matemáticos como miembros iniciales. No reproducimos la lista completa: la página del anuncio de OpenAI, el comunicado del Institute y el sitio propio del grupo rechazaron el acceso automatizado desde acá, y el único miembro confirmado en reportes que sí pudimos leer es Camillo De Lellis, del Institute.

Lo que no puede hacer

El grupo no tendrá la responsabilidad de asesorarnos sobre el ritmo de nuestro progreso interno en matemática.

Esa frase deja afuera exactamente aquello de lo que se quejaban los matemáticos. La carta del 11 de septiembre no sostiene que la IA no pueda hacer matemática. Su objeción es que los resultados se "anuncian apurados, sin dejar tiempo para una redacción adecuada, para aislar los métodos e ideas nuevas y para citar el trabajo previo de otros", lo que, escribieron los firmantes, plantea "serias preguntas de atribución y plagio". El reclamo es por la velocidad y el crédito. El remedio anunciado el lunes cubre la evaluación y la comunicación, y explícitamente no cubre la velocidad.

El Institute for Advanced Study marcó el mismo límite desde su lado: dijo en su comunicado que, si bien dará consejos, no tiene poder de decisión en ninguna empresa de IA y que la responsabilidad por las decisiones de una empresa es de esa empresa.

La afirmación que vino adosada al anuncio

OpenAI acompañó la noticia de gobernanza con una afirmación de investigación: el mismo modelo interno detrás de su trabajo sobre Navier–Stokes habría resuelto, según la empresa, más de 100 problemas abiertos adicionales en casi todas las áreas de la matemática. La cifra es de OpenAI, publicada dentro de un anuncio sobre cómo deberían comunicarse cifras como esa. No encontramos ninguna evaluación independiente, y los problemas y las demostraciones no están enumerados en ningún lado que hayamos podido abrir. Es una declaración de la empresa, no un resultado establecido.

La combinación resume toda la disputa. El número llega primero. El cuerpo que debería ayudar a evaluar números así se anunció en la misma frase, y no tiene autoridad sobre cuándo llega el siguiente.

Cómo se llegó hasta acá

Promptea cubrió el inicio de la disputa el 8 de septiembre, cuando OpenAI dijo que un sistema de IA había producido una solución al Problema del Milenio de Navier–Stokes y publicó una formalización en Lean 4 junto con ella. Ese mismo día, Tristan Buckmaster, de NYU, anunció demostraciones relacionadas junto a Levent Alpöge, de Anthropic, y denunció que OpenAI había actuado sabiendo del enfoque no publicado de ellos y lo había presionado por el crédito.

El resto se comprimió en dos semanas. El 10 de septiembre OpenAI retiró el auspicio de un evento de matemática en CalTech tras las críticas de investigadores de esa casa. La carta de veinticinco firmas llegó el 11 de septiembre, apoyada a su vez en la Declaración de Leiden que un grupo de trabajo de matemáticos había publicado en junio. El grupo asesor del lunes es la primera respuesta institucional de OpenAI a todo eso.

Qué cambia de verdad

Para quien construye sobre estos modelos, hoy no cambia nada. No hay API nueva, ni modelo, ni cambio de precios.

Lo que cambia es el molde. Los laboratorios de frontera están produciendo afirmaciones que la comunidad experta no puede verificar en los tiempos del laboratorio, y la respuesta que está emergiendo es un grupo externo permanente con tareas de revisión y sin autoridad operativa. Anthropic cerró la semana pasada un acuerdo de estructura parecida con Accenture: evaluadores embebidos, financiados por la empresa evaluada. En los dos casos el acceso es real, la participación es voluntaria y el arreglo se queda corto justo en la palanca que pedían los críticos.

La lectura práctica, si tenés que evaluar anuncios de este tipo: un conteo de problemas resueltos que sale de un laboratorio es una pieza de marketing hasta que alguien de afuera nombre los problemas y revise las demostraciones. El grupo anunciado el lunes quizás termine haciendo ese trabajo. Tal como está redactado su estatuto, no puede exigir que ese trabajo ocurra antes de que se publique el próximo número.

Qué mirar

• Si el grupo publica su propia evaluación de la afirmación de los 100 y pico de problemas, y en qué plazo.
• Si algún miembro renuncia o hace pública una objeción: el estatuto permite las dos cosas, así que cualquiera de las dos sería una señal real y no ruido.
• Si la lista se amplía hacia los firmantes de la carta, que son justamente la comunidad con la que el grupo dice querer tender un puente.
• Si otros laboratorios adoptan el mismo molde la próxima vez que un modelo de frontera produzca una afirmación científica discutida.