OpenAI presenta 'Astra': equipos de agentes que resolvieron diez problemas matemáticos abiertos por unos 2.000 dólares

OpenAI presentó una nueva familia de modelos, provisionalmente llamada Astra, diseñada para que varios agentes de IA trabajen juntos en problemas difíciles durante horas o días. Una versión interna resolvió diez problemas abiertos de matemáticas y ciencia computacional teórica que llevaban al menos una década sin solución — incluida una prueba de la existencia de grupos no sóficos —, con demostraciones formalizadas en Lean para que las máquinas puedan verificarlas. Coste total a precios de API: unos 2.000 dólares. Sam Altman mostró el sistema a legisladores en Washington; podría lanzarse como GPT-6, GPT-5.7 o una clase aparte, y se espera que sea el primer modelo en pasar por la revisión gubernamental estadounidense previa al lanzamiento. (Corrección: OpenAI ha matizado después su afirmación de que estos problemas llevaban al menos una década sin avances, y matemáticos identificados sostienen que varias de las demostraciones se apoyan en trabajos publicados que no fueron citados.)

✓ Verificado · 3 fuentes

Noticias relacionadas