Une erreur de signe a fait tomber trois articles de maths d'OpenAI.
OpenAI a retiré mercredi trois manuscrits de mathématiques, un jour après en avoir publié 722 sur GitHub. Une erreur de signe dans l'un a brisé l'argument sur lequel deux autres s'appuyaient. Sur les 719 manuscrits restants, seuls 300 ont une preuve vérifiée par machine.
Pourquoi c'est importantL'intelligence artificielle écrit désormais des maths plus vite que les humains ne peuvent les vérifier. Les erreurs se cachent dans cet écart, donc traitez tout résultat non vérifié comme un brouillon.
Lire dans l'app — gratuit, en 9 langues
Actus liées
Buterin croit que l'IA cassera le chiffrement avant le quantique.2026-10-08Les agents IA ont vendu plus cher aux utilisateurs aisés.
2026-10-08La preuve vérifiée d'OpenAI ne correspond pas à celle publiée.
2026-10-08Nvidia a vu qu'une étape d'entraînement change 1% du modèle.
2026-10-07OpenAI a sorti 722 articles de maths à partir d'une consigne.
2026-10-07