Scott Aaronson on OpenAI's apparent AI proof of his wife's conjecture
TOEwithCurt · x · 2026-10-24
Curt Jaimungal interviews Scott Aaronson about OpenAI's release of what appears to be an AI-generated proof of a conjecture his wife, complexity theorist Dana Moshkovitz, had worked on for years — prompting their nine-year-old to tell her "Mommy, I heard you got cooked." They discuss what AI solving open problems means for math, physics, and AI itself, calling it possibly one of the most significant moments in the history of mathematics.
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