Un changement discret mais révélateur a été repéré dans le dépôt GitHub « openai/math », où OpenAI consigne des résultats mathématiques que ses modèles affirment avoir produits ou contribué à établir. Selon le fichier d'historique du dépôt, trois résultats précédemment répertoriés ont été retirés. La nature exacte des erreurs n'est pas détaillée dans la source consultée, mais ce type de rétractation touche directement à la crédibilité des revendications sur les capacités mathématiques des grands modèles de langage.
Ce dépôt a été mis en place dans un contexte où plusieurs laboratoires, dont OpenAI, affirment que leurs systèmes sont désormais capables de résoudre des problèmes de niveau recherche ou de rivaliser avec des médaillés aux olympiades internationales de mathématiques. Ces annonces suscitent un examen croissant de la part de la communauté mathématique, certains chercheurs ayant déjà pointé des erreurs de rigueur ou des preuves incomplètes présentées comme validées.
Le retrait de résultats, même peu nombreux, illustre une tension structurelle : les sorties de modèles génératifs peuvent sembler convaincantes sans être correctes, et la vérification formelle reste un goulot d'étranglement. Que ce soit OpenAI elle-même ou des relecteurs externes qui aient identifié les failles, l'épisode souligne la nécessité d'une validation indépendante avant toute communication publique sur des percées mathématiques.
L'information reste limitée à ce stade : ni le type d'erreur, ni les problèmes concernés, ni la méthode de détection n'ont été précisés dans la source disponible. Elle n'en reste pas moins significative pour la communauté technique, car elle rappelle que les affirmations sur les capacités de raisonnement des modèles doivent être accompagnées de garanties de vérifiabilité, sous peine de fragiliser la confiance accordée à ces annonces.