1:26:58The Most Significant Moment In Math History Just Happened
327K views · 4d ago · 1:26:58
This episode is about math after AI started solving its open problems. Scott Aaronson, director of the Quantum Information Center at UT Austin, joins to explain why there is no making this go away. We discuss who gets credit for AI proofs, what is left for PhD students, and OpenAI’s apparent proof of the unique games conjecture. His wife, the complexity theorist Dana Moshkovitz, has worked on that conjecture since they met.