Los problemas que Astra ayudó a solucionar no habían visto "ningún progreso en sus resultados centrales durante al menos una década, y en la mayoría de los casos, mucho más", escribió OpenAI. Los resultados abarcan campos que incluyen geometría de alta dimensión, teoría de la codificación, complejidad de circuitos aritméticos, teoría de grupos, complejidad cuántica, criptografía reticular y combinatoria extrema: territorio donde el progreso normalmente se mide en años, no en investigaciones individuales.
Pruebas verificadas, no sólo respuestas
Lo que separa el resultado de Astra de un chatbot que adivina matemáticas es la verificación. OpenAI dijo que los investigadores humanos utilizaron el mismo modelo para preparar argumentos como manuscritos, y luego Astra formalizó cada argumento como un certificado Lean. Lean es un asistente de prueba de código abierto que puede verificar automáticamente argumentos matemáticos, lo que significa que otros matemáticos no tienen que tomar los resultados por fe: pueden verificarse de forma independiente mediante software en segundos.
Esa distinción importa. Un modelo de lenguaje puede producir una prueba aparentemente plausible que contiene un error sutil y fatal. Al traducir cada argumento a Lean, OpenAI convirtió un reclamo de marketing en un artefacto verificable. Según BleepingComputer, que informó los detalles, los avances específicos incluyen una prueba que establece la existencia de grupos no soficos, resolviendo una importante cuestión abierta en la teoría de grupos; una refutación de la conjetura de rigidez de Connes; nuevos límites para el embalaje de esferas de alta dimensión; y resultados que resuelven varios problemas planteados originalmente por el prolífico matemático Paul Erdős.
OpenAI señaló que la cantidad total de tokens necesarios para encontrar estas soluciones costaría aproximadamente $2,000 con las tarifas API actuales, un dato sorprendente sobre la huella informática del descubrimiento matemático moderno, y que coloca la investigación de nivel fronterizo al alcance de equipos académicos bien financiados en lugar de solo los laboratorios mismos.
Los matemáticos reaccionan
Thomas Bloom, un matemático de la Universidad de Manchester que dirige el sitio de referencia de problemas de Erdős erdosproblems.com, calificó los resultados como "grandes noticias" sobre X, según The Decoder. Los calificó como más significativos que un contraejemplo de la conjetura de la distancia unitaria publicada en mayo. "Tal vez no sea más grande de lo que hubiera sido una prueba de unidad de distancia, pero en términos de construcciones, esto es grande", escribió Bloom.Bloom también rechazó el planteamiento de que la IA está reemplazando a los matemáticos, argumentando que la afirmación tiene poco sentido cuando el sistema se basa en más de un siglo de teoría, fue construido por matemáticos y se capacitó en todo lo que los matemáticos han escrito alguna vez.
Noam Brown, un investigador detrás de la tecnología de razonamiento en tiempo de prueba en la que se basa Astra, fue más mesurado. "Lamentablemente, no hay Problemas del Premio del Milenio (todavía)", publicó en X, refiriéndose a los siete famosos problemas por los cuales el Clay Mathematics Institute ofrece 1 millón de dólares cada uno; sólo uno ha sido resuelto desde que se anunciaron los premios en 2000.No todos quedaron impresionados. El crítico de IA Gary Marcus calificó el modelo de "asombroso, pero muy sobrevendido" en una publicación de Substack, una línea familiar de escepticismo cada vez que un laboratorio de vanguardia afirma haber alcanzado un hito. Es probable que la tensión entre los logros técnicos genuinos y el marco promocional defina cómo se recibe a Astra.
Una nueva familia de modelos para tareas largas
The Information confirmó de forma independiente que Astra es una nueva familia de modelos diseñada para cargas de trabajo de larga duración. OpenAI lo describe como un sistema que permite que múltiples agentes de IA colaboren en diferentes partes de un problema mayor: un diseño dirigido directamente a tareas que toman horas o días en lugar de segundos, como demostrar un teorema o refactorizar una gran base de código.
BleepingComputer informó que OpenAI no ha decidido si el modelo se enviará como GPT-5.7, GPT-6 o con otro nombre. El director ejecutivo Sam Altman ya presentó Astra en Washington, D.C., informó The Decoder, lo que indica que la compañía considera que el sistema es lo suficientemente maduro como para presentarlo a los formuladores de políticas.
Un obstáculo para la revisión gubernamental
Quizás el detalle más trascendental sea el regulatorio. Según The Decoder, Astra estará entre los primeros modelos en pasar por un proceso de revisión planificado por el gobierno de EE. UU. que requiere aprobación oficial antes de su lanzamiento público. Eso agrega una capa de incertidumbre política al cronograma de lanzamiento que los modelos emblemáticos anteriores nunca enfrentaron, y aumenta las apuestas sobre cómo OpenAI caracteriza las capacidades de Astra.
El debut también llega en medio de una feroz carrera de peso abierto. Días antes, Thinking Machines Lab lanzó su modelo de peso abierto Inkling-Small y los laboratorios chinos continúan impulsando sistemas fronterizos de peso abierto. Astra señala la apuesta de OpenAI a que el razonamiento patentado a gran escala, verificado por herramientas como Lean, sigue siendo el camino hacia los mayores avances.
Por ahora, Astra permanece inédito. Pero su debut matemático ya ha replanteado la conversación sobre qué pueden contribuir los sistemas de inteligencia artificial de vanguardia a la ciencia pura y con qué atención el público debería examinar las afirmaciones que los acompañan.
Manténgase por delante de la IA
¿Quiere mantenerse al día con desarrollos como Astra y la carrera más amplia por modelos fronterizos? Agregue nuestro centro a favoritos para conocer los [últimos desarrollos de IA] (https://aibuzzwire.news).
Leer más noticias sobre IA →
