Terence Tao – How the world’s top mathematician uses AI

The conversation explores the potential of AI in mathematical research, drawing parallels between Kepler's empirical approach to discovering planetary motion and AI's capacity to identify patterns in vast datasets. It highlights that while AI excels at generating and testing hypotheses, the current bottleneck lies in verifying and evaluating these ideas at scale. Terence Tao suggests AI has driven the cost of idea generation to near zero, shifting the focus to validation and assessment. The discussion touches on the limitations of AI in replicating the cumulative, intuitive progress characteristic of human mathematical reasoning, and the importance of human-AI collaboration. They also consider the potential for AI to revolutionize the experimental side of mathematics by enabling large-scale data analysis of mathematical techniques.