OpenAI affirme, ce mardi 8 septembre, qu'un de ses modèles a bouclé une preuve autour des équations de Navier-Stokes, l'un des sept problèmes à un million de dollars des mathématiques. Mais de quoi parle-t-on, au juste ?