OpenAI afirma que su modelo Astra resolvió 10 problemas matemáticos abiertos

OpenAI anunció el 1 de agosto que una versión interna de Astra, su próxima gran familia de modelos, logró resolver diez problemas abiertos de larga data en matemáticas e informática teórica con un coste total de inferencia de unos 2.000 dólares según las tarifas de Sol API.openai

Los problemas se habían resistido al progreso durante al menos una década y abarcan geometría de altas dimensiones, teoría de códigos, complejidad de circuitos aritméticos, teoría de grupos, álgebras de operadores, complejidad cuántica, criptografía basada en redes y combinatoria extremal. Investigadores humanos redactaron los argumentos en manuscritos utilizando el mismo modelo, que luego formalizó cada demostración en Lean, un lenguaje para teoremas verificados por máquina. OpenAI ha publicado todos los certificados y registros de razonamiento de forma pública.forklog+1

Lo que resolvió Astra

Los diez resultados incluyen nuevos límites superiores para la densidad del empaquetamiento de esferas hasta el umbral de Cohn-Elkies, una construcción que demuestra la existencia de grupos no soficos, una cuestión central en la teoría de grupos abierta desde 1999, y una refutación de la conjetura de rigidez de Connes sobre álgebras de von Neumann. Astra también aportó nuevos límites inferiores sobre la complejidad de circuitos aritméticos para calcular el permanente, un teorema de repetición paralela exponencial para juegos cuánticos de dos jugadores y una dureza de aproximación de factor polinómico para el problema del vector más cercano, lo que tiene implicaciones para la criptografía poscuántica.forklog+1

El modelo resolvió la conjetura del volumen de Ehrhart en todas las dimensiones, produjo un límite inferior superexponencial para los números de Ramsey de triángulos multicolor resolviendo el problema 183 de Erdős y abordó conjeturas de compacidad y degeneración en teoría extremal de grafos resolviendo los problemas 146 y 180 de Erdős.openai

Thomas Bloom, matemático de la Universidad de Mánchester, describió los resultados como "grandes noticias" y un "paso significativo".forklog

Astra sigue sin ser publicado

Astra no se ha publicado formalmente. Sam Altman demostró el modelo ante senadores y reguladores estadounidenses en Washington a finales de julio, y podría ser el primer sistema presentado bajo el marco de evaluación previa al lanzamiento previsto por la administración Trump para modelos de IA. Según The Information News Corp ↘ 3.58%, OpenAI no ha decidido si Astra se lanzará como GPT-6 o como una variante dentro de la gama GPT-5, y no se ha fijado fecha de lanzamiento.softonic+2

Noam Brown, coautor de la tecnología de razonamiento de Astra, señaló que el modelo no logró resolver los Problemas del Milenio, siete preguntas identificadas por el Instituto Clay de Matemáticas en el año 2000 como las más importantes de las matemáticas. OpenAI declaró claramente que "atribuirse la autoría humana de una demostración generada enteramente por un sistema de IA tergiversaría tanto la contribución del sistema como la naturaleza del trabajo intelectual humano genuino".forklog+1