Ciencia«Pura locura»: los matemáticos podrían tardar años en entender el último lanzamiento de OpenAI

OpenAI publicó casi 400 resultados matemáticos generados por IA, distribuidos en más de 700 manuscritos. Matemáticos dicen que entender el conjunto podría tomar años. La verificación es desigual y OpenAI informó que solo 300 de los 719 manuscritos estaban formalizados; investigadores también cuestionaron si algunas pruebas corresponden a lo que afirman los textos.

OpenAImatemáticasinteligencia artificialverificación formal

TThe Verge★★★☆☆2026-10-09 19:09Original