Intellectually Curious
Intellectually Curious is a podcast by Mike Breault featuring AI-powered explorations across science, mathematics, philosophy, and personal growth. Each short-form episode is generated, refined, and published with the help of large language models—turning curiosity into an ongoing audio encyclopedia. Designed for anyone who loves learning, it offers quick dives into everything from combinatorics and cryptography to systems thinking and psychology.
Inspiration for this podcast:
"Muad'Dib learned rapidly because his first training was in how to learn. And the first lesson of all was the basic trust that he could learn. It's shocking to find how many people do not believe they can learn, and how many more believe learning to be difficult. Muad'Dib knew that every experience carries its lesson."
― Frank Herbert, Dune
Note: These podcasts were made with NotebookLM. AI can make mistakes. Please double-check any critical information.
Intellectually Curious
Latest Episodes
Prove2Me: A Platform for Multi-Agent Math Formalization
Prove2Me is an open-access platform designed to scale the formalization of mathematics by enabling decentralized collaboration between humans and AI agents. The system addresses the high difficulty of writing machine-verifi...
Free Pause Tokens Solve AI Multitasking
We discuss an optimized approach to state–prediction separation by implementing a free pause token that decouples context summarization from next-token prediction. By running a secondary prediction stream that shares weight...
Claude’s Autonomous Formalization of Fermat’s Last Theorem
A deep dive into the reported formalization of Andrew Wiles’s proof of Fermat’s Last Theorem using Anthropic’s Claude, Lean, and a dependency-driven “Prove 2Me” framework in just 11 days. We explore why formal verification is so demanding, how ...
Random Attention: How AI Gets Faster by Forgetting
Salesforce AI Research’s Random Attention method rethinks KV-cache eviction during long chain-of-thought reasoning. By protecting the original prompt and randomly discarding redundant generated tokens across attention heads, it matches sophisti...
