Mathematician Daniel Litt: AI grinds computations well but can't build new math theory
stuffyokodraws · x · 2026-09-03
University of Toronto mathematician Daniel Litt and a16z's Lisha Li discuss AI's impact on mathematics. Key points:
- Models are good at a much narrower slice of math than headlines suggest: grinding long computations, pulling technical ideas from more papers than any human could read, and applying known techniques better than almost anyone.
- What they can't do is build theory, or hold a vague philosophy long enough to make it precise — most of what Litt does for a living.
- The conversation covers how mathematicians raided an AI proof for parts to break other problems, and why a thousand AI mathematicians might all turn out to be the same mathematician.
Takeaway: AI is a powerful computation and retrieval tool, but theory-building remains a distinctly human mathematical skill.
Related event: Mathematician Daniel Litt on AI: Strong at Computation, Weak on Theory(6 posts)→
More from Models
- Nvidia DLSS 5 neural rendering mod demos real-time AI relighting of every game frame — LinusEkenstam · 2026-09-03
- Grok's Speech-to-Text Now Powers the Whole Ecosystem, Zero Failures for This User — XFreeze · 2026-09-03
- Fine-tuning GPT for gender inclusivity backfires, creating new asymmetric bias, study finds — maier_ak · 2026-09-03
- Gemini 3.8 Flash lands in Cursor, touting best-in-class cost per task — jocarrasqueira · 2026-09-03
- Anthropic staffer: new model feature live on API, coming to Claude Code within a day — trq212 · 2026-09-03
- Quietly Updated OpenAI Help Article Fuels Speculation That Cyber Product Astra Is Imminent — sykip · 2026-09-03