"Automating Mathematics in the age of LLMs" - David McAllester, Research at TTIC
Why it's on BrighterTube
Editorial review · 85% confidenceWhole-channel inclusion: TTIC is an honest teaching channel (title sample + 3 transcripts read: All three transcripts are structured academic research talks/colloquia with real technical substance, consistent with the whole-channel verdict.); this title passed a strict title check (sonnet) after a labelling pass.
What you'll learn
A 58-minute video from TTIC: “"Automating Mathematics in the age of LLMs" - David McAllester, Research at TTIC”.
Video by TTIC, played through YouTube's embedded player.