洪乐潼：数学直觉、形式化证明与 AI 数学家的可能性

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.