Comment Terry Tao est devenu un évangéliste de l'IA en mathématiques

Terry Tao, médaillé Fields et figure tutélaire des mathématiques contemporaines, témoigne de sa conversion aux outils d'IA pour la recherche formelle. Il décrit comment les LLM et les assistants de preuve automatisée l'ont aidé à explorer des pistes, vérifier des intuitions et accélérer certaines étapes du travail mathématique. Son positionnement public influence fortement la communauté académique.