「带“sorry”的证明不算完整？错了」— 资深学者揭示AI时代形式化证明的工程新范式

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.