数学正式进入证明过剩时代 | 陶哲轩 | 证明消化难题 | 隐式目标 | 学术激励缺口

Open in Podwise to generate AI notes

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