YouTube18 Jan 2026
14m

【人工智能】AI如何重塑数学的研究范式?| 陶哲轩 | 埃尔德什差异问题 | 高维空间奇点 | 八维西蒙斯锥 | 素数随机性 | 现代密码学危机 | AI数学证明 | Lean语言 | 形式化逻辑

Podcast cover

最佳拍档

Open in Podwise to generate AI notes

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

Open in Podwise

Shownotes are not generated by Podwise.

【人工智能】AI如何重塑数学的研究范式?| 陶哲轩 | 埃尔德什差异问题 | 高维空间奇点 | 八维西蒙斯锥 | 素数随机性 | 现代密码学危机 | AI数学证明 | Lean语言 | 形式化逻辑