Ce que signifie être mathématicien quand l'IA fait les maths

L'article réfléchit à l'évolution de la nature du travail mathématique à l'ère de l'IA. L'auteur, ancien doctorant en mathématiques appliquées, se souvient de ses propres difficultés et comprend désormais la valeur du long chemin vers la compréhension, un sentiment cher aux mathématiciens purs. Les récentes réalisations de l'IA, telles que Aletheia de Google DeepMind produisant des recherches publiables et le système d'OpenAI réfutant une conjecture en géométrie combinatoire, suggèrent que l'IA peut effectuer des tâches auparavant considérées comme uniquement humaines. Les assistants de preuve comme Isabelle, Lean et Rocq, combinés aux modèles de langue de grande taille, automatisent la formalisation. Au Forum des lauréats de Heidelberg, les discussions ont porté sur le potentiel de l'IA à remplacer les mathématiciens, certains comme Yang-Hui He imaginant les humains comme des "prêtres des oracles", tandis que d'autres, dont le médaillé Fields Akshay Venkatesh et Maia Fraser, soulignent la valeur centrée sur l'humain de la compréhension et la beauté de l'intelligence collective. Terence Tao préconise des approches collaboratives où humains et IA travaillent ensemble.