Reading up on Terry Tao
2 deep · digging since jun 12
- All grown-ups were once children, but only few of them remember it
Commenters reflect on losing childhood wonder in adulthood, lament AI’s tendency to replace playful exploration, and advocate preserving childlike curiosity.
- How Terry Tao Became an Evangelist for AI in Math
Terry Tao champions combining human insight, AI, and the Lean proof assistant to enable massive, verified mathematical collaborations.