数学正在经历分工变革 | 陶哲轩 & Mark Chen | AI的进步 | 局限性 | 埃尔德什问题 | 形式化验证 | 全新的理论框架 | AI不是神谕机

Open in Podwise to generate AI notes

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