OpenAI llama Astra a su próxima familia de modelos y la presenta con diez problemas matemáticos resueltos
Una versión interna de Astra obtuvo resultados en diez problemas estancados desde hacía al menos una década. El cálculo costó unos 2.000 dólares y cada prueba incluye un certificado verificable.
OpenAI ha confirmado Astra como nombre de su próxima gran familia de modelos y ha elegido una presentación poco habitual: un informe que atribuye a una versión interna resultados en diez problemas abiertos de matemáticas e informática teórica. Los matemáticos no habían avanzado en ninguno de ellos durante al menos diez años, y en la mayoría durante mucho más tiempo.
La lista recorre varias disciplinas. Astra demostró la existencia de grupos no sóficos, refutó la conjetura de rigidez de Connes sobre álgebras de von Neumann, probó la conjetura del volumen de Ehrhart y resolvió tres problemas del catálogo de Paul Erdős. También logró la primera mejora desde 1978 del límite superior general para la densidad con que pueden empaquetarse esferas en dimensiones altas. Dos detalles permiten comprobar los resultados. Cada demostración se formalizó en Lean, un lenguaje que verifica argumentos matemáticos paso a paso, y OpenAI publicó un recorrido por el razonamiento de cada una. La empresa calcula que generar las diez soluciones costaría unos 2.000 dólares con las tarifas de API de su modelo Sol.
Qué hay detrás. Astra se describe como una familia diseñada para trabajos prolongados, capaz de coordinar varios agentes durante horas o días en vez de responder en segundos. Sam Altman la mostró la semana pasada a responsables políticos en Washington y se espera que sea el primer modelo sometido al nuevo proceso de revisión previa del Gobierno estadounidense. Las pruebas matemáticas son una demostración estratégica: constituyen uno de los pocos resultados de IA que pueden verificarse de forma absoluta. También hay cautelas, muchas expresadas por personas vinculadas al trabajo. Noam Brown señaló que el modelo intentó y no logró resolver objetivos mayores, incluidos por ahora los Millennium Prize Problems. Thomas Bloom, responsable de erdosproblems.com, considera que los resultados son una gran noticia, pero rechaza que la IA esté sustituyendo a los matemáticos. Timothy Gowers describió la experiencia como “muy extraña y no especialmente agradable”, aunque celebró que los problemas se resolvieran.
Qué significa esto para ti: hoy, nada. Astra no tiene fecha de lanzamiento, posición confirmada en la gama de productos ni precio. Sí muestra la dirección del sector: pasar de “responde bien a mi pregunta” a “trabaja solo durante mucho tiempo y vuelve con un resultado”. En el trabajo, eso se traducirá en modelos capaces de asumir tareas de varias horas, no solo de cinco minutos. Conviene mantener la perspectiva: las matemáticas son un terreno especialmente favorable porque una respuesta puede comprobarse de forma mecánica. La mayoría de los empleos no incluye un certificado Lean.
Fuentes
Anthropic revisó 141.006 pruebas y encontró tres casos en los que Claude atacó empresas reales
Un entorno mal configurado dio acceso real a Internet a modelos Claude durante ejercicios de seguridad. Tres organizaciones fueron comprometidas y un modelo publicó malware en un registro público.
