Sciences Quand l'IA prouve des théorèmes : les mathématiciens sonnent l'alarme sur la compréhension Thibault Godart · 18 septembre 2026