OpenAI zog am Mittwoch drei Mathematik-Manuskripte zurück, einen Tag nach der Veröffentlichung von 722 Stück auf GitHub. Ein Vorzeichenfehler in einem Papier zerstörte das Argument, auf das zwei weitere bauten. Von den 719 verbleibenden Manuskripten haben nur 300 einen maschinell geprüften Beweis.