AI appears to solve complexity theorist's years-long conjecture; Scott Aaronson calls it a landmark for math
TOEwithCurt · x · 2026-10-24
Curt Jaimungal's podcast with Scott Aaronson discusses OpenAI's apparent AI proof of a conjecture Dana Moshkovitz, complexity theorist and Aaronson's wife, worked on for years — her nine-year-old joked "Mommy, I heard you got cooked." Aaronson, UT Austin professor and former OpenAI safety researcher, explores what AI solving open math problems means for math, physics and AI itself, in what may be one of the most significant moments in the history of mathematics.
Related event: OpenAI's Suspected AI Proof of a Million-Dollar Complexity Conjecture(3 posts)→
More from AGI Musings
- Researcher blasts Hinton: anthropomorphism, hype disconnect and ideological fear-mongering — gerardsans · 2026-10-24
- Grok lays out a path to billions of humanoid robots by the 2030s — Dr_Singularity · 2026-10-24
- Researchers argue a human-controlled AI future is worth a cost to long-term efficiency — mobav0 · 2026-10-24
- Greg Isenberg lists 9 obvious-but-good startup ideas for the agent economy — AI_Andrew · 2026-10-24
- Swedish startup IntuiCell's digital nervous system lets a robot dog learn to stand without pre-training — CurieuxExplorer · 2026-10-24
- AlphaEarth embeddings map California tomato fields at 99.19% pixel accuracy — anselm · 2026-10-24