OpenAI retiró el miércoles tres manuscritos de matemáticas, un día después de publicar 722 en GitHub. Un error de signo en uno rompió el argumento en el que se apoyaban otros dos. Solo 300 de los 719 manuscritos restantes tienen pruebas verificadas por máquina.