OpenAI accusée de mauvaises pratiques scientifiques pour résoudre un problème de maths
OpenAI prétend avoir résolu un problème mathématique avec une de ses IA sans qu’on en soit sûr. Mais cette annonce arrive en parallèle de celle de deux mathématiciens, Tristan Buckmaster et Levent Alpöge, qui auraient pavé la voie à l’entreprise de Sam Altman à leurs corps défendants, soit par la rumeur sur leur façon d’attaquer […].
Les équations de Navier-Stokes, introduites au XIXe siècle, décrivent le mouvement des fluides comme l'eau ou l'air. Elles font partie des problèmes du prix du Millénaire, une liste établie par le Clay Mathematics Institute of Cambridge en 2000. Ces problèmes sont considérés comme les défis mathématiques les plus complexes du tournant du millénaire. La question centrale est de savoir si ces équations admettent toujours des solutions, quelle que soit la complexité des variables utilisées. Une solution à ce problème permettrait de mieux comprendre des phénomènes physiques comme la turbulence ou les courants océaniques. Ce problème est si important qu'il est récompensé par un prix d'un million de dollars pour quiconque en proposerait une démonstration validée par la communauté mathématique.
Le 8 septembre 2026, OpenAI a annoncé avoir résolu le problème des équations de Navier-Stokes en utilisant une de ses intelligences artificielles. L'entreprise a publié un article scientifique sous forme de PDF et un dépôt GitHub contenant des fichiers de preuve en Lean, un langage de programmation utilisé pour vérifier des démonstrations mathématiques. Cependant, ces documents n'ont pas encore été relus par des pairs, une étape essentielle pour valider une découverte en mathématiques. OpenAI a justifié cette annonce par l'importance des maths comme benchmark pour tester ses modèles, dans un contexte où l'entreprise prépare son entrée en bourse.
Tristan Buckmaster, mathématicien à l'université de New York, et Levent Alpöge, mathématicien travaillant pour Anthropic, ont également annoncé avoir trouvé une solution au problème des équations de Navier-Stokes. Ils ont partagé leurs travaux sous forme de trois PDF et d'un dépôt GitHub, également en Lean et non relus par des pairs. Buckmaster a cependant dénoncé les méthodes d'OpenAI, affirmant que l'entreprise aurait utilisé leurs données ou leurs pistes de recherche sans leur accord. Il a publié un texte PDF dans lequel il exprime son désaccord avec la manière dont OpenAI s'est approprié leurs avancées.
La communauté mathématique reste sceptique face aux annonces d'OpenAI et des deux mathématiciens. Thomas Rey, mathématicien à l'Université Côte d'Azur, a qualifié l'article d'OpenAI d'ultra mal écrit et difficile à comprendre. Il a rappelé un précédent en 2013, lorsque le mathématicien kazakh Mukhtarbai Otelbaev avait prétendu résoudre le problème avec un article de 120 pages jugé illisible. Une erreur avait finalement été trouvée après plusieurs mois d'analyse par la communauté. Les règles du Clay Mathematics Institute imposent que toute solution soit publiée dans une revue à comité de lecture et acceptée par la communauté deux ans après sa publication avant de pouvoir prétendre au prix.
OpenAI a dépensé l'équivalent de 32,25 millions de dollars pour parvenir à cette annonce, un montant qui soulève des questions sur l'efficacité des investissements dans l'IA par rapport à la recherche fondamentale. Les laboratoires de recherche, notamment aux États-Unis, sont souvent sous-financés. Cette situation met en lumière un déséquilibre entre les ressources allouées à l'IA et celles consacrées à la recherche mathématique traditionnelle. Les commentaires des lecteurs soulignent également des inquiétudes éthiques, comme l'utilisation potentielle de données de chercheurs sans leur consentement pour entraîner des modèles d'IA.
