Colloque de rentrée 2025 - IA et sciences, allers-retours - Quel sera l'impact de l'IA sur les mathématiques dans les prochaines années ?

Collège de FranceAnnée 2025-2026Colloque de rentrée 2025 - IA et sciences, allers-retours - Quel sera l'impact de l'IA sur les mathématiques dans les prochaines années ?Timothy GowersProfesseur du Collège de FranceRé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.