Résumé
L'IA a déjà eu de multiples impacts sur les mathématiques, qu'il s'agisse de travailler en collaboration avec des mathématiciens humains en suggérant des conjectures ou en effectuant des recherches plus intelligentes, ou encore de produire des preuves entières sans aide. Je discuterai des limites actuelles de l'IA et je spéculerai sur ce que nous pourrions voir dans un avenir pas si lointain.
