OpenAI Annonce une Solution Générée par IA au Problème du Prix du Millénaire
En un coup d'œil
- OpenAI a annoncé une solution générée par IA au problème de Navier-Stokes le 8 septembre 2026.
- La solution comprend une preuve formelle dans l'assistant de preuve Lean pour vérification.
- Le problème de Navier-Stokes est l'un des sept Problèmes du Prix du Millénaire.
OpenAI a déclaré le 8 septembre 2026 que son modèle interne d'IA avait produit une solution au problème d'existence et de régularité de Navier-Stokes, qui est l'un des Problèmes du Prix du Millénaire reconnus par l'Institut de Mathématiques Clay.
Ce développement est notable car le problème de Navier-Stokes fait partie des sept défis mathématiques établis en 2000, chacun offrant un prix de 1 million de dollars pour une solution correcte, et un seul avait été résolu auparavant.
Selon OpenAI, la solution a été construite à l'aide d'une preuve formelle dans l'assistant de preuve Lean, ce qui permet aux mathématiciens externes de vérifier le résultat de manière indépendante.
OpenAI a déclaré avoir lancé son effort ciblé sur le problème de Navier-Stokes le 1er septembre 2026, suite à des rapports selon lesquels deux mathématiciens étaient proches d'une solution pour une version liée du problème.
Ce que les chiffres montrent
- OpenAI a rapporté avoir utilisé environ 10 000 agents IA pour le projet.
- La preuve a été complétée en environ 88 heures, selon OpenAI.
- Le problème de Navier-Stokes a été établi comme un Problème du Prix du Millénaire en 2000.
Le 7 septembre 2026, les mathématiciens Levent Alpöge et Tristan Buckmaster ont publié un article présentant une solution pour une version simplifiée et à viscosité nulle du problème de Navier-Stokes, qui est distinct du problème complet abordé par l'annonce d'OpenAI.
OpenAI a nié avoir utilisé des travaux non publiés ou des données utilisateur d'Alpöge ou Buckmaster dans le développement de sa propre solution, selon des rapports médiatiques.
La société a reconnu qu'elle ne pouvait pas complètement exclure la possibilité d'une influence indirecte provenant de données dé-identifiées dérivées des travaux des utilisateurs, mais a maintenu que son approche était indépendante.
Avant l'annonce d'OpenAI, le seul Problème du Prix du Millénaire qui avait été résolu était la conjecture de Poincaré, laissant le problème de Navier-Stokes comme l'un des défis non résolus restants jusqu'à ce développement récent.
* Cet article est basé sur des informations publiquement disponibles au moment de la rédaction.
Sources et pour aller plus loin
Note: Les sources sont en anglais, donc certains liens peuvent être en anglais | Cette section n'est pas fournie dans les flux.
Plus sur Technologie
-
Les rapports de politique coréenne esquissent des stratégies pour l'avantage en IA et en fabrication
Un rapport détaille des stratégies pour améliorer l'adoption de l'IA et les capacités de fabrication. Les méthodes clés incluent la souveraineté des données et l'amélioration des infrastructures.
-
L'écart de compétences en cybersécurité se creuse alors que les menaces mondiales augmentent
Les offres d'emploi en cybersécurité dans le monde atteignent 4,8 millions, tandis que les victimes de ransomware ont augmenté de 389 % d'une année sur l'autre, selon des rapports sectoriels.