Skills
Terence Tao: AI Now 'Saves More Time Than It Wastes' in Mathematics — Uses LLMs for Literature Search, Simulation, and Calculation Validation
In a trending Dwarkesh Patel interview, Fields Medalist Terence Tao confirmed his 2023 prediction that AI would become a 'trustworthy co-author' by 2026, describing his workflow: AI searches literature, writes code, generates plots, runs calculations, and tests whether approaches are worth pursuing. His reliability strategy is formal verification via Lean — using proof assistants to keep AI honest. His key insight: AI drives down routine problem-solving costs, making problem selection and workflow design the scarce skills.
↳ Follow the thread