If AI proves P = NP, should we release it?

[Sevam]

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.

[pricekhan]

Firewalls, Unique Games, P = NP, all in one episode? That's feature creep. Nobody shows the benchmark, the failure rate, or how many garbage proofs got thrown away before the one lucky run. It's cаrgo cult science with a great microphone.