fAQ by SandboxAQ

Author: Tai-Danae Bradley

Welcome to SandboxAQs podcast, fAQ, hosted by Tai-Danae Bradley. This series features casual conversations with amazing people in science and technology. All curious humans are invited to join!New episodes every other Tuesday.Want to get in touch? Write us at faq-podcast@sandboxaq.comInterested in a video version of this podcast? Check out https://www.youtube.com/@sandboxaq
Be a guest on this podcast

Language: en

Genres: News, Physics, Science, Tech News

Contact email: Get it

Feed URL: Get it

iTunes ID: Get it

Trailer:

Get all podcast data

Listen Now...

A Glimpse into the AI Era of Math with Daniel Litt | fAQ podcast S3 E6
Episode 6
Tuesday, 9 June, 2026

In this episode of the fAQ Podcast, host Tai-Danae Bradley sits down with Daniel Litt, an assistant professor of mathematics at the University of Toronto, to discuss the rapidly evolving intersection of AI and mathematics. Bypassing the public speculation and social media hype, this conversation provides a practical look at some ways large language models are actively being used in high-level mathematical research. Daniel shares his daily workflow, detailing his transition from testing early AI models in a Dungeons and Dragons game to currently utilizing advanced tools for literature search, "vibe coding," and finding counterexamples. The discussion also covers the new challenge of "proof abundance," practical tips for prompting AI effectively, and how these powerful tools might force a necessary restructuring of mathematical education and the academic publishing system. LinksLearn more about Daniel here: https://www.daniellitt.com Follow Daniel on X: https://x.com/littmath About this podcastThis podcast is hosted by Tai-Danae Bradley and features the stories of amazing people working in science and technology at SandboxAQ and beyond. All curious humans are invited to join!Want to get in touch? Write us at faq-podcast@sandboxaq.comFor previous episodes, check out https://www.youtube.com/@sandboxaq