Many open math problems turn out to be 'obvious' relative to AI
thebasepoint · x · 2026-10-19
thebasepoint muses that the mathematician's 'obvious' is always relative—many open problems were effectively 'proofs left to the reader' for a sufficiently determined reader, and turn out to be obvious relative to AI.
Related event: OpenAI's Siegel zero proof shrinks to five pages(2 posts)→
More from AGI Musings
- Stanford's Noah Goodman Shares First-Pass AI Safety Concept Map for Lecture — noahdgoodman · 2026-10-19
- Agents may become the best distribution channel ever, argues VC on platform shifts — omooretweets · 2026-10-19
- Two Years On, the General LLM Bet Has Paid Off With No Wall in Sight — adivinemessenger · 2026-10-19
- Amazon blocks agentic commerce, JP Morgan blocks agentic banking — one agent will win — krishnan · 2026-10-19
- Kenney warns against AI slop; dev counters: AI is a tool for makers, not a substitute — majidmanzarpour · 2026-10-19
- Harvard's Boaz Barak opens AI safety course mocking OpenAI conflict of interest — zainhas · 2026-10-19