Matemáticas: los resultados de OpenAI ante la prueba de la verificación
Según The Verge, OpenAI ha difundido cerca de 400 resultados matemáticos generados por IA, con niveles de verificación variables. Su evaluación plantea un doble problema: comprobar las demostraciones y verificar que los enunciados formalizados corresponden a las conclusiones presentadas en los manuscritos.