OpenAI lanza Astra, un modelo de IA que podría marcar el fin de la superioridad humana en matemáticas

OpenAI ha presentado Astra, un modelo de inteligencia artificial que ha resuelto diez problemas matemáticos que llevaban sin avances durante al menos una década. La compañía afirma que el modelo ha logrado avanzar en la resolución de estos problemas con un coste total de menos de 2.000 dólares en tokens.

Hechos clave sobre Astra: * Astra es una versión interna del nuevo modelo de inteligencia artificial generativa de OpenAI * Ha resuelto diez problemas matemáticos que llevaban sin avances durante al menos una década * El coste total para resolver estos problemas fue de menos de 2.000 dólares en tokens * Los problemas resueltos incluyen el empaquetamiento de esferas en alta dimensión y la criptografía basada en retículos * La IA se combinó con supervisión humana en distintas fases para generar argumentos matemáticos y formalizarlos en certificados Lean

“Para entender la importancia de Astra, es necesario conocer el contexto de la investigación en inteligencia artificial y matemáticas”

Para entender la importancia de Astra, es necesario conocer el contexto de la investigación en inteligencia artificial y matemáticas. La IA ha estado avanzando rápidamente en la resolución de problemas matemáticos complejos, y Astra es el último ejemplo de esto. Sin embargo, también es importante tener en cuenta que la comunidad matemática ha expresado cautela sobre los resultados de la IA, y algunos expertos han pedido prudencia y revisión humana de los resultados.

La presentación de Astra también ha generado debate en la comunidad matemática, con algunos expertos celebrando los resultados y otros pidiendo prudencia. El matemático Bharath Ramsundar ha advertido que "estamos construyendo rápidamente una torre de resultados de IA 'quizás verdaderos'" y ha defendido no dar estos descubrimientos por buenos hasta que matemáticos humanos los revisen y alcancen un consenso sobre su validez real. Otro experto, Ital Sher, ha propuesto que debería ser obligatorio publicar la lista completa de problemas que se intentaron y no se resolvieron, no solo los éxitos, para poder evaluar de forma adecuada la capacidad real del sistema.