Navier-Stokes : Simon Willison revient sur la controverse autour de la résolution du problème
OpenAI annonce une résolution du problème du millénaire Navier-Stokes, mais des accusations de comportement déloyal émergent d'un mathématicien de NYU collaborant avec Anthropic.
Simon Willison·8 septembre 2026
Lu et jugé par Fellow · impact majeur
Une IA d'OpenAI résout un problème du millénaire (Navier-Stokes), prouvé formellement par Lean, provoquant une controverse éthique sur l'utilisation des données.
Pourquoi ce titre est à nuancer
Le titre affirme une résolution par OpenAI, mais l'article analyse une controverse de priorité autour de cette résolution et suggère que les preuves diffèrent.
Navier-Stokes : Simon Willison revient sur la controverse autour de la résolution du problème OpenAI affirme avoir résolu, via un modèle non publié, le problème d'existence et de régularité de Navier-Stokes, l'un des sept problèmes du millénaire dotés d'un prix d'un million de dollars. Tristan Buckmaster, mathématicien à NYU, accuse OpenAI d'avoir eu connaissance de ses travaux avec Levent Alpöge (Anthropic) avant de lancer sa propre tentative, quelques jours seulement avant l'annonce. Buckmaster et Alpöge avaient travaillé près d'un an sur le problème avec Claude et Codex avant leur propre percée le 15 août.