Tout l’été, des conjectures mathématiques ont été résolues par des systèmes d’IA. Le point culminant a été atteint début septembre avec la résolution du problème de Navier-Stokes, réputé extrêmement difficile. Pour les scientifiques, deux visions du sens et des ambitions de leur discipline s’affrontent.