◐ Research
Un modelo sin publicar de OpenAI resuelve diez problemas matemáticos abiertos desde hace décadas, por 2.000 dólares
OpenAI dice que Astra, su próximo modelo, resolvió diez problemas matemáticos sin resolver desde hace más de una década, con pruebas verificables formalmente. Coste: unos 2.000 dólares de cómputo.
Por qué importa
Si se confirma, es el salto más nítido hasta ahora de una IA que no solo responde, sino que aporta investigación original y comprobable. Las pruebas son verificables mecánicamente, lo que las distingue de otras afirmaciones infladas del sector.