Controverse autour de la preuve de Navier‑Stokes : OpenAI, Anthropic et la communauté mathématique en alerte
Résumé : Une série d’annonces inattendues a secoué le monde de la recherche en mathématiques. Le professeur Tristan Buckmaster de NYU, aidé du mathématicien d’Anthropic Levent Alpöge, a présenté trois nouvelles preuves qui s’approchent du problème de Navier‑Stokes, l’un des sept problèmes du Millénaire. Quelques heures plus tard, OpenAI a publié ce qu’elle décrit comme une preuve complète du même problème, obtenue grâce à un modèle d’IA de nouvelle génération. Les deux parties se disputent désormais la paternité, la transparence des données et les limites de l’utilisation de l’IA dans la recherche fondamentale.
Une percée mathématique controversée
Le mardi 3 septembre, le professeur Tristan Buckmaster, spécialiste en analyse des équations aux dérivées partielles, a annoncé avoir établi trois nouvelles démonstrations liées au problème d’existence et de régularité des équations de Navier‑Stokes. Ce travail, réalisé en collaboration avec le chercheur Anthropic Levent Alpöge, s’appuie sur les modèles d’IA Codex (développé par OpenAI) et Claude (développé par Anthropic). Leur approche, peu commune dans le domaine, exploite une “force lisse” – un angle de recherche décrit dans les travaux de Fefferman – que très peu d’équations de Navier‑Stokes avaient exploré jusqu’alors.
À peine la communauté académique a‑t-elle reçu ces résultats que OpenAI a publié, le même jour, une preuve complète du problème de Navier‑Stokes. Selon le communiqué de la firme, la démonstration aurait été générée par un modèle d’IA de prochaine génération, après une semaine d’entraînement intensif consommant 300 milliards de tokens, soit environ 22,5 millions de dollars de puissance de calcul. Cette annonce a immédiatement déclenché un débat : les deux équipes affirment avoir travaillé indépendamment, mais les timelines se chevauchent, et les échanges de données entre les deux parties restent flous.
Enjeux éthiques et scientifiques de l’IA en recherche
Le cœur du différend réside dans la manière dont les modèles d’IA ont été entraînés et utilisés. Buckmaster indique que la majeure partie de son travail a été réalisée avec Codex, un produit OpenAI. Il soulève la possibilité que les interactions de son équipe avec Codex aient été intégrées, de façon anonyme, dans le jeu de données d’entraînement du nouveau modèle d’OpenAI, ce qui aurait pu permettre à ce dernier de « régurgiter » des éléments de leurs preuves. OpenAI, de son côté, affirme n’avoir accédé à aucune donnée utilisateur spécifique avant la publication publique des résultats, tout en reconnaissant que des données dé‑identifiées pourraient avoir contribué à améliorer leurs modèles.
Cette situation relance la discussion autour de la propriété intellectuelle des travaux générés par l’IA. Les utilisateurs de services comme Codex peuvent choisir de se retirer de l’entraînement futur, mais la plupart ne le font pas, laissant leurs interactions potentiellement exploitées à des fins de recherche. De plus, le fait que le laboratoire Anthropic, rival d’OpenAI, ait été indirectement impliqué – Alpöge n’était pas mandaté par son employeur – ajoute une dimension de concurrence entre les géants de l’IA qui dépasse le simple cadre scientifique.
Enfin, la question de la transparence méthodologique est centrale. OpenAI a publié un rapport détaillant le volume de calcul et les dates de lancement (le 1er septembre), tandis que Buckmaster et Alpöge n’ont pas encore rendu public le code complet de leurs preuves, invoquant des préoccupations de sécurité et de priorité de publication. Le manque de visibilité rend difficile l’évaluation indépendante de la validité des deux démonstrations, et pourrait ralentir la reconnaissance officielle par le Clay Mathematics Institute, qui offre un million de dollars pour chaque problème résolu.
Implications pour l’industrie et les événements technologiques
Au-delà du débat académique, cette controverse a des répercussions concrètes pour le secteur technologique. La conférence Disrupt 2026, qui se tiendra prochainement et rassemble des acteurs majeurs tels qu’OpenAI, Anthropic, Replit et d’autres leaders de l’IA, devient le cadre privilégié où les questions de gouvernance de l’IA seront abordées. Les organisateurs ont annoncé une réduction de 25 % sur les billets, soulignant l’intérêt croissant pour les enjeux liés à l’utilisation responsable de l’intelligence artificielle dans la recherche.
Les entreprises présentes à Disrupt devront désormais répondre à deux attentes : démontrer la puissance de leurs modèles tout en rassurant la communauté scientifique sur les pratiques d’entraînement et de confidentialité. Des panels prévus lors de l’événement porteront sur la « responsabilité algorithmique », la protection des données de recherche et les mécanismes de reconnaissance des contributions humaines versus celles générées par l’IA.
Pour les investisseurs, la controverse souligne les risques associés aux investissements massifs dans le calcul haute performance. Les 22,5 millions de dollars dépensés par OpenAI pour résoudre un seul problème mathématique illustrent le coût élevé de la course à l’innovation. En même temps, la capacité d’un modèle d’IA à produire une preuve complète – même si la validité reste à vérifier – ouvre la porte à de nouvelles applications dans la modélisation financière, la simulation physique et la découverte de médicaments, domaines où les équations complexes sont monnaie courante.
En définitive, la rivalité entre OpenAI et le duo académique Buckmaster‑Alpöge met en lumière les tensions entre vitesse d’innovation, transparence scientifique et protection de la propriété intellectuelle. Alors que le débat se poursuit, la communauté mathématique attend des revues par les pairs rigoureuses, tandis que les acteurs de l’industrie se préparent à répondre aux exigences de gouvernance qui seront sans doute au centre des discussions de Disrupt 2026.