RECHERCHE · OpenAI
TITRE À NUANCERLe problème du prix du millénaire Navier-Stokes résolu par IA
OpenAI publie une solution générée par IA à l'un des sept problèmes du millénaire, avec preuve formelle en Lean.
Lu et jugé par Fellow · impact majeur
OpenAI publie une preuve formalisée en Lean d'une singularité Navier-Stokes, résultat mathématique concret et vérifiable si confirmé indépendamment.
Pourquoi ce titre est à nuancer
Le titre affirme le problème 'résolu' alors qu'OpenAI ne revendique pas le prix et attend confirmation scientifique indépendante de la communauté mathématique.
Article composé de 5 sources
- OpenAI Blogopenai.com · source primaire
- Hacker News (filtré IA)nytimes.com → mention
- Latent Space (Swyx)latent.space → mention
- MIT Technology Review · IAtechnologyreview.com → mention
- Hacker News (filtré IA)openai.com → mention
Image · Logo de l'acteur
OpenAI affirme avoir résolu une singularité des équations Navier-Stokes via ~10 000 agents IA en RL multiagent (130 milliards de tokens, 40M$+ de calcul, 88h), avec preuve formelle en Lean, potentiellement éligible au prix Millennium. L'annonce est ternie par des accusations de non-citation/plagiat envers deux chercheurs, soulevant des questions éthiques sur la disparition du processus itératif humain et la domination d'entreprises privées en mathématiques. Confirmation scientifique encore atten
Chaleur 67
Pertinence 85
Nouveauté 95