Mathematician Daniel Litt releases video lectures on doing high-quality math with LLMs
caglar_ee · x · 2026-09-11
Mathematician Daniel Litt has released a series of video lectures, 'Working with LLMs to do high quality math,' covering how to use large language models effectively for serious mathematical work. Litt is known for systematically stress-testing LLM math abilities, making this a rare practitioner-level tutorial from a working research mathematician.
More from Research
- Fruit flies trained to write: neural signals turn insect legs into a font generator — dejavucoder · 2026-09-11
- Stokes' theorem formalized in Lean 4 with true pullbacks and d²=0 proof — basedjensen · 2026-09-11
- Missing Benchmark for Agent Runtimes, Not Just Models, Reddit Thread Argues — Balance- · 2026-09-11
- PISA data preprocessed for AI agents: open dataset with AGENTS.md for instant analysis — pelayoarbues · 2026-09-11
- X-AuT: Progressive Audio-Encoder Compression for Speech LLMs via Cross-Scale Distillation — XPENG-AI · 2026-09-11
- Beihang's UniH3 Unifies Hierarchical Homogeneity and Heterogeneity for Medical Image Restoration — Beihang · 2026-09-11