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

Das ist das Originaltranskript des Videos, unverändert und unbearbeitet. Der überarbeitete Volltext, die Zusammenfassung und die Übersetzungen stehen auf der Artikelseite.