数学正式进入证明过剩时代 | 陶哲轩 | 证明消化难题 | 隐式目标 | 学术激励缺口 | Talk指标 | 高速公路和步行街 | 方程理论项目 | 数学教育的改革 | 形式化验证工具

Open in Podwise to generate AI notes

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