The singularity has already begun for math:
Scott Aaronson is one of the world's leading quantum computing researchers and spent two years at OpenAI working on AI safety.
We talked about why he thinks the singularity has already begun for math, who gets credit when AI writes the proof, and whether intelligence will still matter once machines do the thinking.
In this episode:
• Why the singularity has already begun for math
• Who gets credit when AI writes the proof
• What a proof that P = NP would be worth
• Why he turned down getting rich to keep blogging
• Whether intelligence will still matter
Where to watch:
• YouTube -
• Spotify -
• Apple Podcasts -
• Transcript -
Thank you to the sponsor of this episode for supporting my work:
• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at
Chapters:
00:00 Intro
00:34 Why he updated so hard on AI
01:14 The people still denying AI progress
03:53 The singularity has already begun for math
08:30 Will human-driven math research survive
13:12 Who gets credit for AI-written papers
15:55 OpenAI's $15M Navier-Stokes proof
19:20 What if AI proved P = NP
23:07 Why AI is so good at finding counterexamples
26:13 The goalposts keep moving
28:52 Why AI disclosure matters in research
32:59 The fake Monet experiment
35:23 Why he blogs instead of getting rich
39:45 Are AI labs racing too fast
42:01 Will intelligence still matter
47:12 Book recommendations
52:27 Advice for students today
57:23 Reacting live to a new AI result
59:58 Outro