Scott Aaronson (UT Austin) sits down with Curt Jaimungal for a mind-bending discussion on how AI is crushing long-standing open mathematical problems.
They go deep into OpenAI's apparent proof of the Unique Games Conjecture, a problem Aaronson's wife, Dana Moshkovitz, has heavily researched, and explore the terrifying question: what happens if AI proves P = NP?
The episode also covers machine-generated proofs overturning physics conjectures with direct consequences for black hole firewalls.