L'IA révolutionne la démonstration mathématique et scientifique