OpenAI: Astra resolvió 10 problemas matemáticos irresueltos

OpenAI presentó Astra, el modelo que sucede a la familia GPT-5, y adelantó un dato llamativo: puertas adentro, una edición temprana del sistema empujó diez problemas de matemática y computación teórica que, según la empresa, no habían tenido avances en al menos diez años. El anuncio se dio junto con una demostración privada ante legisladores de Estados Unidos en Washington D.C., un paso que, de acuerdo con BleepingComputer, apunta a facilitar un lanzamiento futuro del modelo.

Los diez problemas cubren temas que van desde la geometría de alta dimensión y la teoría de grupos hasta la criptografía basada en retículos, pasando por complejidad de circuitos aritméticos, teoría de códigos, complejidad cuántica y combinatoria extremal. OpenAI explicó en su sitio que estos temas “revisten un gran interés para sus respectivas comunidades matemáticas, y varios son de interés general para las matemáticas en su conjunto”. Entre los avances destacados figura la resolución de tres conjeturas planteadas por Paul Erdős, el matemático húngaro pionero en la probabilidad y la teoría de números durante el siglo XX.

Investigadores humanos escribieron primero los razonamientos con ayuda del sistema, y Astra convirtió después esos textos en certificados dentro del lenguaje Lean, que permite comprobar de forma automática si una demostración matemática es correcta. Esa verificación externa es lo que le da peso al anuncio: no se trata de una afirmación sin respaldo, sino de resultados que un tercero puede chequear con una herramienta ajena al propio modelo.

Agentes que colaboran entre sí

Un reporte de The Information, citado también en la cobertura, sostiene que Astra no será un modelo único sino una familia orientada a tareas de ejecución prolongada. En el encuentro con legisladores, el director ejecutivo de la compañía, Sam Altman, planteó que el nuevo sistema deja que múltiples agentes de inteligencia artificial se dividan tareas dentro de un mismo problema y trabajen de forma coordinada durante períodos extensos, en lugar de resolverlo todo de una sola vez. Según la empresa, esa colaboración entre agentes fue justamente la que permitió atacar los diez problemas matemáticos.

De confirmarse, Astra pasaría a compartir catálogo con Sol, Terra y Luna, las otras familias de modelos que ya tiene OpenAI. Todavía no está definido si el sistema llegará al público bajo el nombre GPT-6 o como una actualización de la serie actual, posiblemente GPT-5.7. Sí se supo que el sistema ya está en pruebas y que sería uno de los primeros modelos sometidos al nuevo esquema de control que Estados Unidos está preparando para la inteligencia artificial avanzada, lo que explicaría por qué OpenAI mostró resultados a los legisladores antes de confirmar un lanzamiento.

Según el reporte, existe la posibilidad de que OpenAI reparta el acceso a Astra en dos niveles, siguiendo un esquema que atribuye a Anthropic con Claude Fable: una versión limitada disponible para el público general y otra, más potente, restringida a un grupo reducido de usuarios y sujeta a aprobación gubernamental. OpenAI adelantó que compartirá un documento técnico con el paso a paso de cómo el sistema llegó a esas diez soluciones matemáticas.