OpenAI a publié 722 articles mathématiques générés par intelligence artificielle le 6 octobre 2026, avant d’en retirer trois dès le lendemain en raison d’une erreur de signe dans une preuve de géométrie algébrique. Cette erreur a compromis les arguments de deux manuscrits apparentés qui s’appuyaient dessus. Le catalogue révisé compte désormais 719 articles, dont environ 42 % ont été formellement vérifiés à l’aide de l’assistant de preuve Lean. Les critiques soulignent le caractère propriétaire du modèle utilisé, qui empêche les chercheurs extérieurs de l’examiner ou de reproduire ses résultats. Cette erreur rappelle que les affirmations non réfutées mais fondées sur des démonstrations erronées restent, d’un point de vue mathématique, des conjectures.
Source: Lire l’article original
