OpenAI pasó el sábado haciendo algo que rara vez hace: poner nombre a un modelo inacabado. Un informe de matemáticas y una publicación asociada dieron el nombre Astra a la próxima gran familia de la compañía, y le vincularon una lista de diez problemas previamente abiertos que, según se dice, resolvió una versión interna.

Lo que realmente se afirmó

Los diez resultados abarcan geometría de alta dimensión, teoría de códigos, teoría de grupos, complejidad cuántica, criptografía de retículas y combinatoria extrema. El planteamiento de OpenAI es que en todos ellos no había habido avances durante al menos una década. Cada demostración se formalizó en Lean, el asistente de pruebas, y la compañía sitúa el coste de cómputo en torno a 2.000 dólares a las tarifas actuales de la API para Sol. Thomas Bloom, que mantiene la base de datos de problemas de Erdős, calificó los resultados de gran noticia: un comentario de un matemático en activo, no una auditoría independiente.

Qué certifica Lean y qué no

Ésta es la distinción que se está omitiendo en gran parte de la cobertura. Una demostración verificada por Lean es válida: los pasos encajan. Lean no dice nada sobre si la afirmación era difícil, si estaba realmente abierta o si el resultado importa. Esos son juicios que la comunidad matemática emite durante meses, y nada de ello ha pasado por revisión por pares. Los resultados son autodeclarados.

Dos acontecimientos, no uno

Los agregadores han fusionado una demostración privada en Washington el viernes, informada por The Information, con el informe público de matemáticas del sábado. Son cosas distintas. El acto del viernes fue una sesión informativa cerrada; el del sábado fue el artefacto.

El nombre tampoco es definitivo

OpenAI describe Astra como una designación provisional. La compañía no ha dicho si la familia llegará como GPT-6, como GPT-5.7 o como una categoría distinta junto a las líneas existentes Sol, Terra y Luna. No hay nada disponible para desarrolladores, no hay precios y no hay fecha de lanzamiento.

Para qué se dice que sirve Astra

El objetivo de diseño asociado a la familia en informaciones anteriores es un modelo construido para trabajar en un único problema durante horas o días, en lugar de responder en segundos. Eso encaja con lo que implica una ejecución matemática de diez problemas: horizontes largos, búsqueda sostenida y una factura medida en miles de dólares por resultado, no en fracciones de céntimo por consulta. También explica por qué el lanzamiento se está insinuando a través de resultados de investigación. Un modelo cuyo argumento de venta es pasar un día sobre una sola cuestión no puede demostrarse en una ventana de chat, y la única prueba legible de ello es un resultado que otra persona no pudo obtener.