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

動画の元の文字起こしを、編集せずにそのまま表示しています。整えた全文、要約、各言語の翻訳は記事ページにあります。