AI debate revives verificationism: some domains just need better verifiers
davidad · x · 2026-08-04
The thread argues for reviving verificationism as a theory of meaning. In the quoted reply, the counterpoint is that domains are not inherently verifiable or unverifiable: anything humans can learn is verifiable, but some fields have easy verifiers like math and code while others need dedicated simulation and evaluation work.
More from AGI Musings
- The Cult of Optimization: Why We Let AI Schedule Our Lives — jonathanmendez · 2026-08-04
- Veteran developer says using AI code tools is part of decades-long workflow — seanmcdonaldxyz · 2026-08-04
- AI governance circles fear only a Chernobyl-scale disaster will bring real guardrails — hlntnr · 2026-08-04
- Jeff Dean’s 1% rule says founders should build where frontier models still fail — import_jmr · 2026-08-04
- Addy Osmani argues that AI generation is cheap but taste and judgment still gate shipping — addyosmani · 2026-08-04
- AI could let individuals build personal bio labs and test drugs on their own tissue — Promptmethus · 2026-08-04