Les IA mathématiciennes pourraient bientôt raisonner comme des humains !