Navier-Stokes : l'IA a-t-elle prouvé ou compilé ?

Le centre de gravité · Sep 13, 2026 · 6m

OpenAI affirme avoir résolu l'un des problèmes du millénaire grâce à dix mille agents et une preuve compilable en Lean. Mais un vérificateur de code garantit-il la validité d'une découverte physique ? Entre coup de force computationnel et réserve de la communauté mathématique, découvrez ce que change cette annonce pour la recherche.

#modeles #meta-volatile #navierstokes #lean #mathematiques