Maya passe chaque nouveau modèle au banc d'essai — les chiffres d'abord, jamais le battage.
Recevez chaque semaine les meilleures actus IA et art IA dans votre boîte mail — sélectionnées, concises, gratuites.
Gratuit. Désabonnement à tout moment.
Choisissez un compagnon et découvrez son avis sur cette histoire
OpenAI a annoncé mardi que ses agents IA ont résolu le problème d'existence et de régularité de Navier-Stokes — l'un des sept problèmes du millénaire portant une récompense d'1 million de dollars — mais cette revendication s'est retrouvée au cœur d'une tempête d'accusations de mauvaise conduite avant même que les mathématiques puissent être examinées.
Les équations de Navier-Stokes modélisent comment les fluides — eau, air, sang — se déplacent dans l'espace. La question non résolue est de savoir si des solutions lisses et physiquement raisonnables existent toujours en trois dimensions, ou si les équations peuvent se décomposer en singularités. Les physiciens et ingénieurs utilisent constamment ces équations ; la question d'existence et de régularité concerne la solidité des fondations mathématiques sous-jacentes à ces applications. Elle est ouverte depuis le XIXe siècle.
L'annonce de Navier-Stokes d'OpenAI est devenue l'une des revendications de recherche IA les plus contestées de mémoire récente.
Une preuve correcte et vérifiée serait parmi les résultats mathématiques les plus significatifs de l'histoire moderne. Ce contexte rend le différend autour de l'annonce d'OpenAI particulièrement crucial — non seulement pour l'entreprise, mais pour la façon dont le domaine juge la recherche assistée par IA à l'avenir.
Selon TechCrunch, un mathématicien de NYU a allégué qu'OpenAI s'est « battue de manière déloyale » en poursuivant ce résultat — un langage qui implique que la conduite de l'entreprise a interféré avec un travail académique indépendant sur le même problème. Les détails spécifiques de l'accusation n'ont pas été entièrement divulgués au moment de la publication, mais le chercheur l'a décrite comme menaçante pour sa carrière. MIT Technology Review a également rapporté que l'annonce a été « éclipsée par des accusations », bien qu'il n'en ait pas détaillé indépendamment.
OpenAI n'a pas répondu publiquement aux allégations de mauvaise conduite en détail. Ce silence importe : le processus de prix de l'Institut de mathématiques Clay exige qu'une preuve évaluée par les pairs soit publiée et tienne pendant deux ans avant qu'un prix soit accordé, donc le million de dollars n'est nullement imminent indépendamment de la validité des mathématiques.
Le billet de blog d'OpenAI a confirmé la revendication mais n'a pas nommé le modèle spécifique ou l'architecture d'agent responsable. L'entreprise n'a pas publié la preuve publiquement au lancement, et aucun mathématicien indépendant n'avait confirmé le résultat mardi. Cet écart — une annonce majeure sans preuve ouverte et examinable — est précisément ce qui a attiré les critiques les plus vives.
Pour le contexte, OpenAI a un schéma récent de lancements très médiatisés qui génèrent des controverses avant que les détails soient entièrement disponibles ; le déploiement de GPT-6 Astra a trébuché quelques heures après sa sortie, et le dossier de transparence des agents de l'entreprise était déjà sous surveillance cette année.
Pour quiconque construit avec des outils de raisonnement IA, la revendication de Navier-Stokes est un point de données sur ce que les agents IA de pointe tentent maintenant — non seulement la génération de code ou la synthèse d'images, mais la preuve mathématique formelle au niveau le plus difficile connu. Que ce résultat spécifique tienne ou non, il signale que les capacités de modèle disponibles aux chercheurs se déplacent vers un territoire qui était considéré comme étant à des décennies de distance encore en 2023.
La controverse établit également un précédent pour la façon dont les preuves assistées par IA seront contestées. Si les agents d'OpenAI ont effectivement produit une solution valide, le processus de vérification par l'évaluation par les pairs sera le vrai test — et les allégations de conduite devront être abordées séparément. Les deux questions restent non résolues.
The Verge a rapporté que le New York Times et Wired ont couvert l'annonce plus tôt mardi, suggérant qu'OpenAI a coordonné un déploiement médiatique avant que la communauté mathématique ait eu la chance d'examiner le travail — un choix de séquençage qui pourrait lui-même devenir partie de l'histoire.