Le 8 septembre 2026, la page d’accueil de Hacker News a été secouée par deux publications consécutives qui ont provoqué une onde de choc dans le monde de la tech et des mathématiques pures. D’un côté, une annonce triomphale d’OpenAI affirmant que ses derniers modèles internes venaient de résoudre une énigme de dynamique des fluides vieille de 90 ans. De l’autre, une déclaration fleuve de Tristan Buckmaster, professeur de mathématiques à l’université de New York (NYU). Buckmaster y retrace méticuleusement la chronologie de ses échanges avec OpenAI et pose une question lourde de sens : le géant de l’IA a-t-il capté et exploité ses travaux de recherche avant même leur publication officielle ?
Au cœur de cette secousse se trouve le problème de l’existence et de la régularité des solutions des équations de Navier-Stokes. Désigné en 2000 par l’Institut de mathématiques Clay comme l’un des sept problèmes du prix du millénaire, il est doté d’une récompense d’un million de dollars. Pour le dire simplement, ces équations aux dérivées partielles décrivent les mouvements de l’eau et de l’air, des turbulences qui s’enroulent autour d’une aile d’avion aux courants marins les plus profonds. L’enjeu théorique est fondamental : il s’agit de savoir si les fluides peuvent mathématiquement déraper et si les équations peuvent s’effondrer en temps fini, engendrant des singularités infinies qu’aucune loi physique ne saurait décrire.
Pendant près d’un siècle, les plus brillants esprits de la discipline ont buté sur cette barrière. Résoudre ce problème exigeait une intuition géométrique exceptionnelle pour mettre au jour des structures mathématiques invisibles. Dans la version présentée par OpenAI, cette intuition géniale a toutefois cédé la place à une débauche de puissance de calcul industrielle et à une chaîne d’assemblage automatisée de preuves formelles.
10 000 agents lancés pendant 88 heures : quand le calcul massif écrase une énigme vieille de 90 ans
Le bilan des ressources mobilisées par OpenAI donne le vertige. Pour venir à bout des équations, le laboratoire a déployé simultanément environ 10 000 agents d’intelligence artificielle. Durant 88 heures d’affilée, cet essaim a fonctionné comme un maillage géant, échangeant 2,7 millions de messages pour croiser les raisonnements et consommant près de 130 milliards de tokens de sortie. Afin de garantir une rigueur mathématique irréprochable, le système a ensuite consacré 17 heures supplémentaires à vérifier la preuve ligne par ligne dans le langage de preuve formelle Lean.
Figure : Énoncé officiel des équations de Navier-Stokes. Source : Clay Mathematics Institute (claymath.org)
Le dispositif s’apparentait à une usine colossale peuplée de 10 000 doctorants infatigables et scrupuleusement obéissants. Une fois la direction tracée, ils se sont montrés capables d’explorer en quatre jours ce qui aurait demandé des vies entières de brouillons humains. Au cours de cette offensive, le système s’est même payé le luxe de détacher 100 agents pour résoudre en 50 heures le problème de régularité des équations d’Euler sans force extérieure. Au terme du processus, l’usine a accouché d’un manuscrit formel de 100 pages.
Face à cette manufacture de calcul, des cycles de recherche qui se comptaient autrefois en mois se sont réduits à une poignée de jours. Les modèles d’OpenAI ont incontestablement produit des déductions mathématiques impressionnantes. Mais selon le professeur Buckmaster, si cette immense usine a su exactement où creuser, c’est uniquement parce qu’elle disposait d’un plan dérobé.
Du 1er au 8 septembre : où est passé le manuscrit non publié ?
Le litige porte sur une ligne de départ invisible. Plusieurs mois auparavant, Buckmaster s’était associé à Levent Alpöge, mathématicien et chercheur chez Anthropic, pour aborder le problème à l’aide de modèles de langage. En réexaminant la littérature spécialisée, le binôme a réussi à étendre les méthodes antérieures de « forçage rugueux » (rough forcing) vers un « forçage lisse » (smooth forcing), le verrou théorique le plus redouté du domaine. Le 15 août, ils enregistraient une avancée décisive. Le 22 août, ils achevaient la première vérification formelle de leur preuve assistée par IA sous Lean. Buckmaster a qualifié ces étapes générées par la machine de « démonstration la plus terrifiante » qu’il ait jamais lue.
C’est au moment même où ils approchaient de la ligne d’arrivée que les premiers bruits ont commencé à circuler.
| Étape clé | Version du blog officiel d’OpenAI | Déclaration publique du professeur Buckmaster |
|---|---|---|
| Mi-fin août | Début de l’entraînement d’un nouveau modèle le 28 août | Percée majeure le 15 août, première vérification Lean achevée le 22 août |
| 1er - 3 septembre | Début des travaux le 1er septembre après avoir eu vent de rumeurs | Le 3 septembre, les rumeurs enflent et indiquent qu’OpenAI a eu vent des avancées |
| 5 - 6 septembre | Résolution officielle du problème le 5 septembre | Le 6 septembre, deux échanges téléphoniques voient OpenAI modifier ses explications |
| Utilisation des données | Déclare n’avoir consulté aucune donnée utilisateur précise | Brouillons saisis dans Codex tout au long du projet ; silence d’OpenAI face aux questions |
Buckmaster a consigné par écrit deux échanges téléphoniques tendus avec les représentants d’OpenAI le 6 septembre. Au cours de la discussion, les explications de l’entreprise n’ont cessé de varier. Dans un premier temps, OpenAI a soutenu que le modèle n’avait reçu que le simple énoncé du problème. Plus tard, les représentants ont concédé qu’une force de frappe interne dotée d’une puissance colossale avait été mobilisée, admettant que le premier prompt n’avait été envoyé que quelques jours après la propagation des rumeurs.
Interrogée sur le fait de savoir si ses modèles avaient ingéré les brouillons non publiés transmis via Codex, la direction d’OpenAI a laissé planer un doute embarrassant. Si l’entreprise a affirmé qu’aucun employé n’avait consulté de données utilisateurs précises, elle a concédé « ne pas pouvoir exclure que des données anonymisées aient amélioré les performances du modèle ». Sur Hacker News, cette confrontation a déclenché une intense bataille de votes : la mise au point de Buckmaster est montée à 1 053 points, tandis que l’annonce technique d’OpenAI plafonnait à 1 010 points. La communauté des développeurs s’est passionnée non pas pour la démonstration mathématique elle-même, mais pour les incohérences chronologiques et la traçabilité des données.
Quand une simple rumeur déclenche une ruée vers le calcul
Le médaillé Fields Terence Tao a résumé avec une rare lucidité les implications vertigineuses de cette affaire :
« Ce qui est rare et précieux aujourd’hui, c’est d’identifier les problèmes prometteurs. Même le simple bruit selon lequel quelqu’un planche sur une piste suffira à déclencher un déploiement massif d’IA pour tout écraser sur son passage. »
Pendant des siècles, la recherche mathématique s’est épanouie dans une culture informelle : des croquis tracés sur un tableau noir autour d’un café, des échanges dans les couloirs de conférences et des ébauches de manuscrits partagées en confiance. Cette émulation constituait le ferment de la découverte. Mais face à des machines capables de produire des démonstrations formelles de 100 pages en quatre jours, la moindre rumeur devient le signal d’un pillage industriel par la puissance de calcul.
Figure : Schéma de la spirale tourbillonnaire et de l’étirement axial. Source : OpenAI
Dès lors qu’un brouillon non publié entre dans un assistant en ligne ou qu’une piste féconde est évoquée entre pairs, elle échappe à son créateur. À l’ère de la surabondance de calcul, découvrir la voie d’accès est infiniment plus précieux que d’exécuter la déduction mécanique. Les chercheurs indépendants ne se mesurent plus à leurs homologues humains : ils se heurtent désormais à des complexes industriels de preuve formelle et à des fermes de serveurs démesurées.
« Pourquoi détruire votre carrière ? » : Une négociation sous le sceau de l’asymétrie
L’aspect le plus troublant du témoignage de Buckmaster réside dans l’asymétrie brutale qui caractérise les pourparlers entre l’universitaire et le géant de la tech. Selon le professeur, l’équipe d’OpenAI a formulé deux propositions de compromis aux allures d’aumône. La première option prévoyait que Buckmaster publie d’abord les résultats préliminaires sur l’équation d’Euler, OpenAI publiant la résolution de Navier-Stokes le lendemain. La seconde option autorisait Buckmaster à signer seul l’article sur Navier-Stokes, à la condition expresse d’exclure totalement son collaborateur Levent Alpöge, chercheur chez Anthropic, de la liste des auteurs.
Les émissaires d’OpenAI ont affirmé sans détour que les choses auraient été simples si Alpöge ne travaillait pas chez un concurrent direct. Lorsque Buckmaster a refusé de trahir son collègue, le ton est devenu ouvertement menaçant : « Pourquoi cherchez-vous à ruiner votre carrière ? » et « Si vous refusez que je sois aimable, je n’ai aucune raison de l’être ».
Cette arrogance trahit le sentiment de toute-puissance qu’engendre le monopole de la puissance de calcul. La découverte de théorèmes mathématiques fondamentaux s’est muée en instrument d’intimidation corporatiste destiné à briser des concurrents et à asseoir une hégémonie commerciale.
Le choc entre la culture du partage académique et les excavatrices de calcul
Cette controverse autour d’un problème à un million de dollars ne bouleverse pas seulement la mécanique des fluides. Buckmaster y a vu le véritable « moment Deep Blue des mathématiques ». Une brèche béante vient d’être ouverte dans l’édifice académique. Des mois d’explorations humaines laborieuses peuvent désormais être pistés et liquidés en un week-end par un cluster d’IA. Le sas temporel qui permettait aux chercheurs de vérifier, de mûrir et de revendiquer la paternité de leurs idées s’est volatilisé.
Sur les forums, des chercheurs ont suggéré avec dérision de disséminer de fausses pistes mathématiques pour inciter OpenAI à engloutir des millions de dollars de calcul dans des impasses théoriques. Derrière cet humour noir transparaît l’immense détresse de la communauté scientifique face à la tyrannie des téraflops.
Les subtilités techniques de la preuve d’OpenAI finiront par s’effacer des mémoires. Ce qui subsistera, c’est la prise de conscience brutale des laboratoires du monde entier : la recherche vivante et non publiée est devenue un gisement ouvert, prêt à être exploité par des pelleteuses numériques. Guidée par le moindre écho d’une découverte, la force brute du calcul peut dévaliser un filon en quelques heures. La culture de partage et de confiance mutuelle qui a permis des siècles de découvertes majeures vient peut-être de vivre son acte final.
Liens de référence :
- Blog officiel d’OpenAI
- Déclaration publique de Tristan Buckmaster (cims.nyu.edu)
- Discussion HN (item?id=49605915)
- Discussion HN (item?id=49613262)
