Investigacion
OpenAI publica 722 manuscritos matemáticos: solo una parte tiene prueba formal catalogada
OpenAI libera 722 manuscritos y artefactos de prueba. El catálogo muestra una verificación desigual que obliga a leer cada resultado por separado.