Terence Tao: AI proofs make mathematical understanding more urgent

Voici la transcription originale de la vidéo, telle quelle et non relue. Le texte intégral remanié, le résumé et les traductions sont sur la page de l'article.