Scott Aaronson on AI proofs, the unique games conjecture, and math after AI
TOEwithCurt · x · 2026-10-26
Scott Aaronson, director of UT Austin's Quantum Information Center, discusses what's left for mathematicians once AI starts solving open problems:
- Who gets credit for AI-assisted proofs, and what PhD students should work on now
- OpenAI's apparent proof of the unique games conjecture — his wife, complexity theorist Dana Moshkovitz, has worked on it since they met
- Whether a lab that proved P=NP should release the result
- How AI overturned a conjecture he posed with Greg Kuperberg, with consequences for black hole firewalls
- Maxwell's demon, and why he thinks integrated information theory is wrong
More from AGI Musings
- Frontier LLMs negotiate contracts poorly and frequently renege for selfish gain, study finds — xuanalogue · 2026-10-26
- Study of 133 patent lawyers: AI augments veterans but causes cognitive offloading in novices — xiaohu · 2026-10-26
- OpenAI computer-use agents near superhuman speed, say the team building them — a16z · 2026-10-26
- Kai-Fu Lee publishes AI Native, a roadmap for building AI-native companies — kaifulee · 2026-10-26
- RCT: ChatGPT temporarily boosts consultants' data science skills, gains vanish without it — EricTopol · 2026-10-26
- Dev on AI games backlash: reject AI slop, not the tool itself — ezshine · 2026-10-26