scienceFeb 13, 202512:24pending
The Deep Dive: AI Tackling Decades-Old Math Puzzles
About this episode
In this episode, we explore how AI is moving beyond code and games to crack hard math problems. We break down reinforcement learning, PPO, horizon problems, and adaptive AI, and we examine how language modeling helps reveal the underlying grammar of mathematical presentations. We also discuss the Andrew Curtis Conjecture and recent breakthroughs, and consider what these advances mean for the future of mathematical discovery.
Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information.
Sponsored by Embersilk LLC
Get every episode summarized
Each time Intellectually Curious publishes, we email you a written briefing from the transcript — the topics, who appeared, and any specific claims, with the ad reads skipped.
Email me new episodesFree for 3 shows. No card needed.
Hosts & guests
No transcript yet
This episode has not been transcribed. Request it and it moves to the front of the queue.
More episodes
More from Intellectually Curious
Claude’s Autonomous Formalization of Fermat’s Last Theorem
Intellectually Curious
Sep 13, 20266:48completed
Random Attention: How AI Gets Faster by Forgetting
Intellectually Curious
Sep 12, 20266:13completed
The Alien Anatomy of the Bigfin Squid
Intellectually Curious
Sep 11, 20265:48completed
Beyond the Mouse: How AI Agents Learned to Use Computers
Intellectually Curious
Sep 10, 20265:15completed