Verifiable domains will all fall to AI like maths — the open question is the rest
charlieharris01 · x · 2026-10-07
Commentator rowlsmanthorpe argues that following AI's results in mathematics, we can assume all verifiable domains will eventually go the way of maths, since correctness can be mechanically checked. The biggest question in the world, he says, is whether non-verifiable domains will follow.
More from AGI Musings
- Math PhD now feels like swinging a scythe against millions of autonomous harvesters — FlorianGallwitz · 2026-10-07
- Dev observation: our AI outputs are becoming data packets passed agent-to-agent — aloncarmel · 2026-10-07
- Nobel economist Daron Acemoglu: making 100 people 5% more productive beats automating 5% — cen6wkf · 2026-10-07
- NYT Essay: Didi Drivers to DoorDash Workers, the Shared Feeling of Being Harvested by AI's Future — S_OhEigeartaigh · 2026-10-07
- Scott Alexander fires back at Pinker in debate over AI prediction track records — deanwball · 2026-10-07
- Akerlof's 'market for lemons' explains why platforms are labeling and limiting AI content — guy6400 · 2026-10-07