OpenAI revendique une solution mathématique de Navier-Stokes avec 10 000 agents IA alors que des chercheurs rivaux contestent la priorité
OpenAI a publié une preuve générée par IA prétendant résoudre le problème d'existence et de régularité de Navier-Stokes vieux de 90 ans, déclenchant des accusations de chercheurs indépendants qui avaient utilisé des outils OpenAI lors de travaux antérieurs.
Annonce de la preuve et échelle de calcul
OpenAI a annoncé le 8 septembre 2026 qu'un système d'intelligence artificielle non publié avait résolu le problème d'existence et de régularité de Navier-Stokes, l'un des six problèmes du prix du millénaire non résolus listés par l'Institut Clay de mathématiques. L'entreprise a déployé environ 10 000 agents IA simultanés pendant 88 heures entre le 1er septembre et le 5 septembre 2026 pour produire une preuve analytique de 100 pages. Le calcul a généré 2,7 millions de messages et environ 130 milliards de tokens, avec des dépenses informatiques se chiffrant en millions de dollars. OpenAI a ensuite utilisé son modèle GPT-6 Astra pour formaliser et vérifier l'argument dans l'assistant de preuve Lean lors d'une exécution ultérieure de 17 heures. Mark Chen, directeur de la recherche chez OpenAI, a décrit le résultat comme une démonstration de raisonnement mathématique automatisé.
C'est une étape importante pour la recherche en IA, et sa promesse pour le monde est que même nos questions les plus difficiles deviendraient possibles à répondre.
- Génération de preuve (10 000 agents)
- 88 heures
- Vérification Lean (GPT-6 Astra)
- 17 heures
L'affirmation mathématique et le prix du millénaire
Formulées au XIXe siècle par Henri Navier et George Gabriel Stokes, les équations décrivent le mouvement des fluides comme l'eau et l'air, servant de base aux prévisions météorologiques, à l'aérodynamique et à l'analyse du flux sanguin. L'Institut Clay de mathématiques a offert un prix d'un million de dollars en 2000 pour une preuve rigoureuse établissant si des écoulements fluides réguliers peuvent développer des singularités ou des vitesses infinies en un temps fini. OpenAI a déclaré que sa preuve démontre qu'un fluide initialement lisse au repos développe une singularité en temps fini lorsqu'il est soumis à une force externe régulière, répondant aux énoncés C et D de la formulation officielle. L'entreprise a publié son article, son document PDF et sa formalisation Lean sur GitHub le 8 septembre 2026, mais a déclaré qu'elle ne réclamera pas le prix du millénaire d'un million de dollars. Des mathématiciens externes n'ont pas encore vérifié indépendamment la preuve, un processus d'examen qui nécessite généralement des mois.
Conflit de priorité et allégations de chercheurs
L'annonce a fait suite à un défi public du professeur de mathématiques de l'Université de New York Tristan Buckmaster et du chercheur d'Anthropic Levent Alpöge, qui enquêtaient indépendamment sur le problème. Le 15 août 2026, Buckmaster et Alpöge ont franchi une étape vers Navier-Stokes en s'appuyant sur des méthodes développées par les mathématiciens espagnols Diego Córdoba de l'ICMAT et Luis Martínez-Zoroa de l'Université CUNEF. Le médaillé Fields Terence Tao a évalué ces travaux antérieurs comme une réalisation notable sans obstacle évident empêchant leur extension à Navier-Stokes. Quelques heures avant qu'OpenAI ne publie son article, Buckmaster a publié une déclaration alléguant qu'OpenAI avait lancé son projet seulement après avoir eu connaissance de leurs recherches privées non publiées. Buckmaster a noté que lui et Alpöge avaient utilisé des outils OpenAI, notamment Codex et GPT-5.6 Sol, pour rédiger leurs travaux et s'est demandé si les données de leurs sessions privées avaient informé le modèle d'OpenAI.
Il est vrai que nous nous sommes lancés là-dedans parce que la semaine dernière, il y avait des rumeurs sur Internet selon lesquelles les modèles d'Anthropic avaient résolu un problème du millénaire, et nous étions curieux de voir si les nôtres pouvaient le faire aussi.
- Tristan Buckmaster et Levent Alpöge établissent un résultat partiel vers les solutions des équations des fluides.
- OpenAI déploie 10 000 agents IA pour tenter des preuves des problèmes non résolus du prix du millénaire.
- Tristan Buckmaster contacte OpenAI après avoir appris que des rapports sur ses recherches étaient parvenus à l'entreprise.
- Les agents IA d'OpenAI terminent l'exécution de génération de preuve de 88 heures.
- OpenAI publie l'article de 100 pages et la preuve Lean après que Buckmaster a publié une déclaration publique.
Questions d'accès aux données et prochaines étapes
Dans sa déclaration, Buckmaster a décrit avoir demandé à OpenAI si l'entreprise avait entraîné ses modèles sur des sessions privées de Codex contenant des concepts de brouillon. OpenAI a déclaré que le modèle n'avait pas accédé directement aux données privées des utilisateurs lors de l'exécution, mais a reconnu que des données anonymisées de la plateforme auraient pu contribuer à l'entraînement plus large du modèle. Sebastien Bubeck, chercheur chez OpenAI, a déclaré que le budget de calcul pour l'exécution des 10 000 agents dépassait d'un facteur 1 000 les ressources allouées aux précédents projets mathématiques. OpenAI a expliqué que tandis que Buckmaster et Alpöge étudiaient une variante d'équation non forcée, la preuve d'OpenAI repose sur une force externe régulière appliquée. La communauté mathématique doit maintenant évaluer si cette singularité d'écoulement forcé satisfait aux conditions exactes requises par l'Institut Clay de mathématiques.
