Reading up on Terry Tao
3 deep · digging since jun 12
- Happy, those able to know the causes of things
Terry Tao contends that LLM-produced mathematical results are a source of pride, representing the collective achievement of the mathematical community rather than a threat to it.
- 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.