End of 'good enough software': formal verification becomes the missing AI demand curve
bookwormengr · x · 2026-10-24
- The author argues that with AI coding, all important server-side software — and even single-user programs with network access — will need formal verification.
- Poses an open question: are there scaling laws for software verification (1K vs 10K lines of code)?
- Points out that AI demand models cover coding, testing, and cyber-eval demand, but verification demand has never been modeled — a notable gap.
More from AGI Musings
- New French literary prize accepts AI co-written fiction, requires model and prompt dossier — lmoroney · 2026-10-24
- New French literary prize invites AI-co-written novels with mandatory model disclosure — lmoroney · 2026-10-24
- "AI-Induced Nihilism": When AI Removes the Process, It Removes the Joy — dotey · 2026-10-24
- NYC is still replacing 1930s train signals — a reality check for fast-AI-boom predictions — ziv_ravid · 2026-10-24
- Banning AI writing to judge character likened to shaming GLP-1 users — intellectronica · 2026-10-24
- Nova Scotia weighs $10B data centre as critic's 'never built in rich areas' claim faces pushback — Afinetheorem · 2026-10-24