OpenAI anuncia Astra: el modelo que resuelve problemas matemáticos que llevaban décadas abiertos
El sucesor del actual GPT-4o ha resuelto 10 problemas matemáticos de larga data. Lo que un equipo de investigadores tardaría décadas en conseguir, por el precio de un billete de avión.
OpenAI ha presentado Astra, su próximo modelo de referencia — el relevo del actual GPT-4o — con un debut que ha dejado a más de un matemático con la boca abierta. Una versión interna del modelo ha resuelto o avanzado significativamente en 10 problemas matemáticos y computacionales de larga data — algunos llevaban décadas sin respuesta.
Los campos que ha tocado van desde geometría de alta dimensión hasta criptografía reticular, pasando por teoría de grupos y complejidad cuántica. Henry Yuen, profesor de la Universidad de Columbia, reconoció públicamente que Astra había resuelto algo en lo que él mismo había invertido años de su carrera.
El coste total en tokens para encontrar todas esas soluciones: unos 2.000 dólares. Lo que un equipo de investigadores tardaría décadas en conseguir, por el precio de un billete de avión.
No todo son aplausos. Gary Marcus, profesor de la NYU, apunta que las matemáticas se prestan especialmente bien a la verificación formal y que habrá que ver si este rendimiento se traslada a problemas del mundo real. Seguro que habrá muchos matemáticos aguardando con el cuchillo entre los dientes al lanzamiento del modelo…
La pregunta que deja en el aire el propio OpenAI es la más incómoda: cuando una IA puede hacer matemáticas de investigación, ¿qué papel queda para los matemáticos?