OpenAI presenta Astra, un modelo de IA que resolvió diez problemas matemáticos que desafiaron a los matemáticos durante décadas

OpenAI ha confirmado oficialmente la existencia de un nuevo modelo de IA, Astra, describiéndolo como su "próxima gran familia de modelos". Una versión interna de Astra ayudó a resolver diez problemas abiertos en matemáticas y ciencias de la computación teórica que los investigadores habían estado trabajando sin éxito durante al menos diez años, y en algunos casos mucho más. Los problemas resueltos incluyen temas de geometría de alta dimensión, teoría de códigos, teoría de grupos, complejidad cuántica, criptografía basada en retículos y combinatoria extremal. Notablemente, Astra construyó el primer ejemplo de un grupo no sófico, un objeto cuya existencia se había discutido durante muchos años. El matemático Thomas Bloom de la Universidad de Mánchester calificó los resultados como "grandes noticias", señalando que son más significativos que el contraejemplo de mayo a la conjetura de la distancia unitaria, pero no cree que los matemáticos sean reemplazados por la IA pronto, ya que los sistemas de IA se basan en el trabajo a largo plazo de la comunidad matemática. Noam Brown, un desarrollador de tecnología de razonamiento en OpenAI, dijo que la compañía ha intentado aplicar Astra a otros problemas abiertos famosos pero sin éxito hasta ahora, y escribió en X: "Desafortunadamente, ningún problema del Premio del Milenio (todavía)". El Instituto Clay de Matemáticas paga 1 millón de dólares por cada uno de los siete Problemas del Milenio, de los cuales solo uno se ha resuelto desde 2000. OpenAI estima que la computación requerida para las diez soluciones costaría alrededor de 2.000 dólares a las tarifas actuales de su modelo Sol. Los investigadores convirtieron las ideas en artículos científicos completos, y todas las pruebas fueron formalizadas en Lean, un sistema que combina un lenguaje de programación y un verificador de pruebas interactivo, proporcionando pruebas verificadas por máquina. OpenAI ha publicado el razonamiento paso a paso para cada resultado, enfatizando que los investigadores son responsables de las publicaciones finales, pero las ideas matemáticas y la lógica de prueba provienen de Astra. Anteriormente, OpenAI dijo que estaba desarrollando una nueva familia de modelos para tareas largas y complejas, y el director ejecutivo Sam Altman presentó Astra a funcionarios del gobierno y reguladores de Estados Unidos, destacando su capacidad para coordinar muchos agentes de IA. Según fuentes, Astra se unirá a las familias de modelos Sol, Terra y Luna, y su nombre comercial es desconocido. OpenAI prometió publicar un informe técnico detallado. Los nuevos modelos están en pruebas internas y serán los primeros en ser evaluados bajo un procedimiento estadounidense para modelos avanzados de IA, con un desafío clave siendo el razonamiento de cadena larga estable.