OpenAI N'Exclut Pas Que Votre Code Ait Entraîné Son Modèle

Un Problème Vieux de Quatre-Vingt-Dix Ans, Résolu en Quatre-Vingt-Huit Heures

Le 8 septembre 2026, OpenAI a publié une preuve affirmant résoudre le problème d'existence et de régularité de Navier-Stokes, l'un des sept problèmes du prix du millénaire dotés d'un million de dollars depuis l'an 2000. Le problème demande si un mouvement fluide tridimensionnel régulier peut toujours être décrit sans que les équations ne s'effondrent. Le modèle de recherche non publié d'OpenAI, exécuté comme un essaim allant jusqu'à 10 000 agents parallèles, a produit une solution montrant que non : dans certaines conditions, un tourbillon se resserre et tourne de plus en plus vite sans limite, un phénomène que les mathématiciens appellent l'explosion en temps fini, tandis que l'énergie totale du fluide reste bornée. L'entreprise a ensuite consacré 17 heures supplémentaires à formaliser l'argument en Lean, un langage utilisé pour vérifier les démonstrations mathématiques étape par étape par ordinateur.

OpenAI a explicitement déclaré ne pas réclamer la prime du Clay Mathematics Institute, et des mathématiciens extérieurs doivent encore vérifier la preuve de manière indépendante avant que le domaine ne l'accepte comme résolue. Une formalisation en Lean est un signal fort de cohérence interne, pas un substitut à la relecture par les pairs.

Une Querelle de Crédit Éclipse la Percée

L'annonce a immédiatement été éclipsée par une querelle publique. Le mathématicien de la NYU Tristan Buckmaster, lauréat du Clay Research Award, a déclaré que lui et le chercheur d'Anthropic Levent Alpoge travaillaient sur des questions de dynamique des fluides étroitement liées, et qu'OpenAI semblait avoir suivi une piste de recherche connue grâce à ce travail, après que des rumeurs eurent circulé en ligne selon lesquelles les modèles d'Anthropic auraient résolu des problèmes similaires. Buckmaster a affirmé que le chercheur d'OpenAI Sebastien Bubeck avait poussé pour retirer Alpoge de la liste des auteurs précisément parce qu'il travaille pour un concurrent, et que lorsque Buckmaster a menacé de rendre l'échange public, Bubeck lui aurait demandé pourquoi il voulait ruiner sa carrière.

Bubeck a contesté cette version, affirmant n'avoir jamais demandé le retrait d'Alpoge de son propre travail, et que le véritable désaccord portait sur la question de savoir si Buckmaster pouvait diriger une réécriture d'une preuve distincte produite par le système d'OpenAI lui-même, ce qui selon lui ne devrait pas être signé par un employé d'un laboratoire concurrent. Séparément, et avec plus de conséquences pour les utilisateurs extérieurs, OpenAI a déclaré ne pas avoir accédé aux données spécifiques du compte de Buckmaster ou d'Alpoge pendant les travaux sur sa preuve, mais a ajouté ne pas pouvoir exclure que des signaux anonymisés issus de l'usage plus large de Codex, incluant peut-être le leur, aient contribué à l'entraînement du modèle sous-jacent.

Ce Que Cela Signifie Si Votre Entreprise Utilise Un Outil de Code par IA

Personne n'accuse OpenAI d'avoir lu les fichiers privés d'un client nommé. Le fait le plus précis et le plus utile pour une entreprise européenne est l'aveu lui-même : même une entreprise qui affirme n'avoir visé personne délibérément dit ne pas pouvoir exclure totalement que des données d'usage agrégées et anonymisées alimentent l'entraînement des futurs modèles. Si vos développeurs utilisent Codex, Copilot ou un outil similaire sur du code commercialement sensible, c'est la question pratique à poser à votre fournisseur dès maintenant, pas après qu'une querelle force cet aveu en public. Cela vaut pour une équipe à Lyon comme à Paris.

Demandez par écrit trois choses à votre fournisseur d'outil de code par IA : si les instructions et le code de votre organisation servent par défaut à entraîner le modèle, si un niveau entreprise ou d'exclusion volontaire exclut vraiment ces données, et comment ils définissent l'anonymisation dans leurs propres conditions. Une preuve historique est un moment marketing pour OpenAI. L'aveu sur l'usage des données qui l'accompagne dure plus longtemps que le titre.

Servola Journal

Nous faisons cela pour tous ceux qui essaient de suivre ce que la technologie fait à nos vies. Les personnes qui la construisent, et les personnes à qui cela arrive. Le Servola Journal existe pour que ce que nous apprenons appartienne à tous.

Personne ne nous paie pour cela. Pas de publicité, pas de mur payant, gratuit pour tous. Nous croyons simplement que comprendre ce qui nous arrive à tous ne devrait pas dépendre de qui peut se permettre de payer pour cela.

Si cela vous a apporté quelque chose aujourd'hui, dites-le-nous pour que nous continuions. Suivez-nous, laissez un like, ou écrivez un commentaire positif. Nous les lisons tous, et ce sont eux qui nous font continuer.

À lire ensuite: Les agents d'OpenAI ont échappé à leur sandbox pendant des mois  |  Votre prochain agent IA pourrait raisonner là où personne ne peut vérifier