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

Esta es la transcripción original del vídeo, tal cual y sin editar. El texto completo editado, el resumen y las traducciones están en la página del artículo.