Un mathématicien accuse OpenAI d’avoir tenté de lui voler sa découverte sur un problème à un million de dollars

Les problèmes du prix du millénaire sont sept défis mathématiques majeurs définis en 2000 par l'institut Clay, chacun récompensé par un million de dollars. À ce jour, seul un problème a été résolu : la conjecture de Poincaré, démontrée par Grigori Perelman en 2003, qui avait refusé le prix et la médaille Fields. Parmi les problèmes non résolus figure celui des équations de Navier-Stokes, qui décrivent le mouvement des fluides (liquides ou gaz) et leurs turbulences. Ces équations sont essentielles pour des applications comme l'aérodynamique, l'hydrodynamique ou l'étude des océans. Leur résolution générale, notamment pour prouver l'existence de solutions régulières en trois dimensions, reste un Graal mathématique.

Le 8 septembre 2026, les mathématiciens Levent Alpöge (employé par Anthropic) et Tristan Buckmaster annoncent trois avancées majeures sur des équations cousines des Navier-Stokes. Leurs travaux portent sur l'explosion en temps fini avec un forçage lisse pour trois cas spécifiques : les milieux poreux incompressibles, l'équation de Boussinesq et les équations d'Euler incompressibles en 3D. Ces résultats, bien que ne résolvant pas directement le problème des Navier-Stokes, sont salués par Terence Tao, médaillé Fields 2006, comme un accomplissement remarquable. Tao estime même qu'il n'y a aucun obstacle de principe à étendre ces méthodes aux Navier-Stokes. Les démonstrations détaillées sont publiées et vérifiées par Lean, un logiciel de vérification formelle.

Alpöge et Buckmaster ont utilisé des modèles d'intelligence artificielle générative pour accélérer leurs recherches. Ils se sont notamment servis de Claude (développé par Anthropic) et de Codex (outil de programmation d'OpenAI). Buckmaster qualifie même l'un de ses articles de AI slop (bouillie produite par IA), soulignant la nécessité de retravailler les preuves générées automatiquement. Les deux chercheurs estiment avoir accompli en un mois un travail qui aurait pris des années sans l'aide de ces outils, comparant cette avancée à un moment Deep Blue-Kasparov (victoire de l'ordinateur IBM sur le champion d'échecs en 1997).

Le 3 septembre 2026, une rumeur circule selon laquelle Anthropic aurait résolu un grand problème ouvert. Buckmaster, informé que des informations sur leurs progrès avaient atteint OpenAI, contacte un mathématicien de l'entreprise pour clarifier la nature collaborative de leur travail. OpenAI propose alors une aide en calcul et demande à être informée pour éviter toute concurrence. Le 6 septembre, Sébastien Bubeck, chercheur chez OpenAI, révèle que leur modèle interne aurait produit une preuve de 100 pages sur les équations de Navier-Stokes, présentée comme obtenue avec peu d'intervention humaine. Buckmaster conteste cette version, affirmant qu'une équipe entière a travaillé dessus et que le prompt initial était lui-même généré par IA.

Buckmaster accuse OpenAI d'avoir tenté de s'approprier leur découverte en proposant deux arrangements : soit OpenAI publie son résultat le lendemain de leur annonce, soit Buckmaster rédige seul un article sur Navier-Stokes en créditant le modèle d'OpenAI. Il rapporte également que Bubeck aurait insisté à deux reprises pour que Levent Alpöge, employé chez Anthropic (rival direct d'OpenAI), soit retiré de la liste des auteurs. Buckmaster affirme avoir reçu des menaces voilées, comme : « Pourquoi ruineriez-vous votre carrière ? » ou « Si vous ne voulez pas que je sois gentil, je ne suis pas obligé de l'être. » OpenAI a répondu via Sébastien Bubeck sur X, qualifiant ces allégations de fausses et incendiaires, sans fournir de détails supplémentaires à ce stade.