本期主题
- Introduction
- Sponsors, Comments, and Reflections
- First hard problem
- Navier–Stokes singularity
- Game of life
- Infinity
- Math vs Physics
- Nature of reality
- Theory of everything
- General relativity
- Solving difficult problems
- AI-assisted theorem proving
- Lean programming language
- DeepMind’s AlphaProof
- Human mathematicians vs AI
- AI winning the Fields Medal
- Grigori Perelman
- Twin Prime Conjecture
- Collatz conjecture
- P = NP
- Fields Medal
- Andrew Wiles and Fermat’s Last Theorem
- Productivity
- Advice for young people
- The greatest mathematician of all time
访谈亮点
本期对话围绕Introduction、Sponsors, Comments, and Reflections、First hard problem、Navier–Stokes singularity等话题展开，陶哲轩分享了对行业现状的判断与对未来的看法。完整内容请收听原节目。