OpenAI affirme avoir résolu une partie d’un problème de maths du millénaire, malgré des accusations de plagiat

Une avancée frappante se dessine dans l’intelligence artificielle. Publié le 08 septembre 2026 à 21h45 Tech Intelligence artificielle OpenAI affirme avoir résolu une partie d'un problème de maths du millénaire, malgré des accusations de plagiat Tempête dans un fluide 6 min Julien Lausson Julien Lausson 6 min 6 min Julien Lausson Julien Lausson Ne plus voir cette pub Lecture Zen Résumer l'article Résumé de l'article Résumé par IA, vérifié par Numerama ? Nous générons pour vous un résumé de l’article grâce à une IA et nous le vérifions afin de nous assurer qu’il n’y ait aucune erreur, pour garantir l’authenticité de l’info. En savoir plus OpenAI affirme qu’un modèle interne a établi, avec vérification en Lean, une preuve d’existence d’une singularité en temps fini pour les équations de Navier‑Stokes.

Une vive polémique s’installe, Tristan Buckmaster accusant OpenAI de plagiat dans cette course scientifique contre la montre. La preuve n’a pas encore reçu l’acceptation de la communauté, invitant à la plus grande prudence avant toute reconnaissance officielle. OpenAI affirme qu’un modèle interne a établi, avec vérification en Lean, une preuve d’existence d’une singularité en temps fini pour les équations de Navier‑Stokes.

Détails techniques

Une vive polémique s’installe, Tristan Buckmaster accusant OpenAI de plagiat dans cette course scientifique contre la montre. La preuve n’a pas encore reçu l’acceptation de la communauté, invitant à la plus grande prudence avant toute reconnaissance officielle. Recevez tous les soirs un résumé de l’actu importante avec Le Récap’ OpenAI dit avoir fait plancher un de ses modèles internes sur les équations de Navier-Stokes, l'un des sept problèmes à un million de dollars des mathématiques.

Sauf que l'entreprise ne réclame pas le prix, et qu'un mathématicien l'accuse par ailleurs de lui avoir soufflé sa méthode. Est-on à l'aube d'une nouvelle résolution d'un des problèmes du prix du millénaire ? En tout cas, on est pour l'heure en pleine polémique autour des équations de Navier-Stokes, l'un des sept grands défis déterminés par l'institut de mathématiques Clay.

À la clé, si quelqu'un réussit à en résoudre un : un prix d'un million de dollars (environ 860 000 euros). Le 8 septembre, l'entreprise OpenAI, spécialisée en intelligence artificielle, a annoncé qu'un de ses modèles internes a produit une preuve concernant les équations de Navier-Stokes. Ce serait, si c'est vrai, une avancée clé : à ce jour, un seul de ces défis a été résolu, la conjecture de Poincaré, démontrée par le Russe Grigori Perelman au début des années 2000.

OpenAI raconte avoir mobilisé le 1er septembre environ 10 000 agents en parallèle, qui ont abouti en quelque 88 heures à une preuve de 165 pages, accompagnée d'une vérification en Lean, un langage qui contrôle chaque étape du raisonnement. Sam Altman, le CEO de l'entreprise, s'est empressé de relayer le résultat. Ce déploiement a coûté cher.

Cette avancée envoie des signaux importants sur l’avenir du secteur, et le monde de la tech observe attentivement.