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
The Cosmic Bouncers: How a Binary Black Hole Cleared a Galactic Core
Recent data from the James Webb Space Telescope has revealed a massive stellar cavity at the center of the galaxy Abell 402-BCG, spanning roughly 3,200 light-years across. While astronomers previously believed this void was...
Etching Intelligence Into Silicon: The Promise of Hardwired AI
Modern AI performance is currently hampered by the "memory wall," a bottleneck where processors waste energy and time waiting for data to travel from separate storage. To solve this, researchers and startups are exploring "architectur...
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 ...
