Ya cubrimos aquí el anuncio de OpenAI del 8 de septiembre: 10,000 agentes produjeron una prueba sobre singularidades en las ecuaciones de Navier-Stokes. Lo que no contamos entonces, porque no estaba confirmado todavía, es la parte incómoda que salió después: una investigación de Fortune reveló una disputa de prioridad con dos investigadores externos, acusaciones de intimidación, y una crítica pública y directa de Terence Tao — uno de los matemáticos vivos más respetados — sobre cómo las empresas de IA están manejando este tipo de anuncios.
Un detalle que se perdió en la cobertura inicial: el modelo de razonamiento que produjo la prueba matemática no fue GPT-6 Astra, sino un modelo interno de OpenAI reportado como "GPT-5.6 Sol", aún no disponible al público. El rol confirmado de Astra en este proyecto fue distinto y más acotado: formalización y auditoría de la prueba en Lean (el lenguaje de demostración formal), no el razonamiento matemático original. Es una distinción que importa — no es lo mismo "un modelo resolvió el problema" que "un modelo verificó que la solución de otro modelo era lógicamente válida".
No hay, hasta la fecha, evidencia pública concluyente que confirme o descarte esa acusación más allá de la negación de Bubeck — la mencionamos porque es parte legítima de la cobertura de esta noticia, no porque la demos por probada.
La parte más seria del reportaje de Fortune son las acusaciones de presión directa: según la investigación, Bubeck habría exigido que se retirara el nombre de Alpöge de cualquier reclamo relacionado con el premio del problema, citando su afiliación con Anthropic, llegando a preguntarle según el reportaje: "¿Por qué arruinarías tu carrera?". Son acusaciones graves, propias de una disputa entre dos de los laboratorios de IA más grandes del mundo, y todavía sin una resolución pública clara al momento de escribir esto.
Terence Tao, ganador de la Medalla Fields y una de las voces más citadas en matemáticas puras, criticó públicamente el patrón general de las empresas de IA "explotando" los Problemas del Milenio con fines de marketing sin necesariamente producir una comprensión matemática nueva. Su comparación fue directa: usar estos anuncios así es como "usar excavadoras para saquear un sitio arqueológico" — se puede sacar algo de valor rápido, pero se destruye el contexto y el proceso que le daría verdadero valor científico a largo plazo.
Carlos Montiel es arquitecto de soluciones IA empresarial. Implementa LLMs, Agentes, RAG y orquestadores en empresas de Guatemala y Latinoamérica. Contáctalo para una consultoría.
Contactar a Carlos Montiel