Theories of Everything with Curt Jaimungal

The AI Math That Left Number Theorists Speechless

41 snips
May 23, 2025
Join Professor Yang-Hui He, a renowned expert in AI-assisted mathematics, as he dives into groundbreaking advancements in number theory that have left mathematicians astonished. Discover how AI technologies like DeepMind and OpenAI are reshaping the landscape of pure math, enabling machines to make research discoveries at lightning speed. He also discusses the murmurations conjecture, the intersection of intuition and algorithms, and the evolving role of human mathematicians in this new era of discovery.
Ask episode
AI Snips
Chapters
Books
Transcript
Episode notes
INSIGHT

AI Is Revolutionizing Math Research

  • AI models like DeepMind's AlphaGeo and Epoch AI are beginning to solve real research-level math problems.
  • AI is transforming mathematical research faster than traditional methods could.
INSIGHT

AI Enhances Diverse Math Approaches

  • Mathematical research blends top-down intuition, LLM-assisted metamathematics, and bottom-up formal proof systems.
  • AI helps researchers handle vast literature and tedious technical proofs, enhancing productivity.
ANECDOTE

ChatGPT Aids Complex Lemma Proof

  • A number theorist used ChatGPT to help prove a complicated lemma and refined the AI-generated proof line by line.
  • This collaboration significantly sped up her research, handling the tedious proof details efficiently.
Get the Snipd Podcast app to discover more snips from this episode
Get the app