Image · Logo de l'acteur
RECHERCHE · OpenAI
Le 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.
Article composé de 6 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
- Hacker News (filtré IA)scientificamerican.com → mention
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 0
Pertinence 85
Nouveauté 95