Terence Tao's Caltech slides "Math 2.0": how AI reshapes mathematical research
Anon84 · hn · 2026-10-11
Fields Medalist Terence Tao's Caltech lecture slides "Math 2.0" (PDF) lay out how AI tools will reshape mathematical research — from formal proofs and AI-assisted conjecture exploration to new human-machine collaboration paradigms. A representative take on AI and mathematics from one of the world's top mathematicians.
More from AGI Musings
- Jeff Bezos on Why He Ignores AI Doomers: Humans Overestimate Risk, Underestimate Opportunity — beffjezos · 2026-10-12
- Surya Ganguli cites Anderson's classic 'More Is Different' at COLM panel — madhavsinghal_ · 2026-10-12
- RSI-Anything Uses World Models for Recursive Self-Improvement, Beats Bayesian Optimization on Reaction Yields — ylecun · 2026-10-12
- Are Labs Pushing RL Difficulty Schedules Too Hard? Flailing Models Look Like Accelerated Students — voooooogel · 2026-10-12
- Why China's AI model price war hurts labs but matters less for cloud providers — menhguin · 2026-10-12
- Researcher predicts an "FDA for RL environments": 99% of AI regulation may target reward hacking — bookwormengr · 2026-10-12