Buckmaster et Thom accusent OpenAI d'avoir pillé leurs preuves, mais gardent Codex
D'après OpenAI - annonce amendée de la preuve Navier-Stokes, avec la nuance sur le forçage externe et OpenAI - annonce des dix avancées mathématiques du modèle Astra, 1er août 2026, relayé par Wired AI
Illustration générée par Gemini (Google) pour laveille.ai
Rédigé à partir de la source originale; chaque fait est vérifié contre le texte source.
À retenir
- Tristan Buckmaster (NYU) accuse les agents Codex d'OpenAI d'avoir utilisé son approche du problème de Navier-Stokes (Prix du millénaire) avec le chercheur d'Anthropic Levent Alpöge, mais continue d'utiliser Codex et Claude : « ces entreprises ont un monopole », dit-il à WIRED le 19 septembre 2026.
- Sur sa propre page amendée, OpenAI confirme qu'une enquête interne n'a trouvé aucune influence des invites Codex de Buckmaster sur son système, et précise que les deux preuves diffèrent techniquement (« avec » contre « sans » forçage externe) - une nuance que le relais de WIRED omet.
- Andreas Thom raconte lui-même, sur le blogue de Terence Tao, avoir écrit à des chercheurs d'OpenAI pour dénoncer une annonce qualifiant son champ de « sans progrès depuis une décennie » alors qu'elle s'appuyait sur son propre article de 2019 avec Gábor Kun; OpenAI a corrigé le texte.
- Vingt-cinq médaillés Fields, dont Terence Tao et Peter Scholze, ont signé le 11 septembre 2026 une déclaration jugeant les incitatifs des entreprises d'IA « gravement désalignés » avec les mathématiques - pas un appel à interdire l'IA.
- WIRED affirme que « plus de 2 000 » personnes liées à Caltech ont demandé la suspension d'un marathon de mathématiques; la lettre ouverte elle-même affiche 771 signataires à sa publication le 10 septembre - aucune source indépendante trouvée ne confirme une croissance jusqu'à 2 000.
Pourquoi ça compte
Ce n'est pas « les mathématiciens détestent l'IA » : ce sont deux chercheurs nommés, avec des griefs précis et documentés sur l'attribution, qui continuent malgré tout d'utiliser ces mêmes outils. Les réponses collectives citées portent sur des règles d'attribution, pas sur un refus de l'IA. Et le chiffre que WIRED avance pour la pétition de Caltech (plus de 2 000 signataires) ne correspond pas à celui que la lettre elle-même affiche (771 à sa publication) : aucune source indépendante trouvée ne confirme la croissance jusqu'à ce total.
Chiffre-clé
771 signataires affichés par la lettre ouverte de Caltech à sa publication, le 10 septembre 2026 - contre « plus de 2 000 » avancé par WIRED
Citation
« Je trouve ce cadrage intellectuellement malhonnête. On ne peut pas parler, dans l'annonce publique, d'une décennie sans progrès, puis s'appuyer de façon cruciale sur un article de 2019. » Andreas Thom, mathématicien, courriel à OpenAI cité par Terence Tao, 11 septembre 2026 (traduit)
Action concrète
Avant de reprendre un chiffre de signataires ou de pétition, vérifier le total affiché sur la source elle-même à la date citée plutôt que le chiffre repris par un relais.
Repères datés
- 1er août 2026 - OpenAI annonce dix résultats mathématiques obtenus avec son modèle Astra, dont un problème de théorie des groupes s'appuyant sur un article de 2019 d'Andreas Thom sans le créditer.
- 8 septembre 2026 - OpenAI publie sa preuve du problème de Navier-Stokes; Tristan Buckmaster l'accuse publiquement d'avoir utilisé son approche via Codex pour le devancer.
- 11 septembre 2026 - Vingt-cinq médaillés Fields publient une déclaration jugeant les incitatifs des entreprises d'IA « gravement désalignés »; Thom y détaille son différend avec OpenAI.
- 19 septembre 2026 - WIRED publie le reportage relayé ici, qui généralise à « les mathématiciens » des griefs documentés chez deux chercheurs nommés.
Sources originale et média
Sources
- OpenAI - annonce amendée de la preuve Navier-Stokes, avec la nuance sur le forçage externe
- OpenAI - annonce des dix avancées mathématiques du modèle Astra, 1er août 2026
- Terence Tao (blogue) - récit d'Andreas Thom sur le différend avec OpenAI, groupes non sofiques
- Terence Tao (blogue) - déclaration des 25 médaillés Fields sur le désalignement de l'IA
- mathandai.org - hébergement de la déclaration des médaillés Fields
- Leiden Declaration on Artificial Intelligence and Mathematics - compteur de signataires
- Proofs and Prompts - lettre ouverte sur le Caltech Mathathon, 771 signataires à la publication
- Relais média : Wired AI → · Lire en français
🔧 Outils mentionnés