Prediction: all mainstream software will be formally verified by 2030
sytelus · x · 2026-09-21
Developer sytelus predicts math's biggest impact won't be the millennium problems but proofs applied to software at scale: by 2030, all mainstream software will be formally verified and you likely won't touch an unverified library.
His argument: formalizing specs and scaling verification to 1B LoC are ripe targets for auto-research/self-improvement loops. He's confident because if this doesn't happen, either AI progress stalls or the world ends — making the prediction moot either way.
More from AGI Musings
- ChatGPT and AlphaFold already helped design canine cancer mRNA vaccines, researcher notes — cloneofsimo · 2026-09-22
- LLMs have commoditized the "excited but harmless" corporate tone, and jobs will go with it — StewartalsopIII · 2026-09-22
- Musk: via user's IP and cookies, Amazon can't tell human buyers from AI agents — elonmusk · 2026-09-21
- The turbulent past and uncertain future of artificial intelligence — ArtificialOther · 2026-09-21
- Emily Bender: the "responsible AI use" middle ground is untenable — moniquejmorrow · 2026-09-21
- Models Don't Have Agency. Systems Do.: Structured Output Is What Makes Agents Work — sethjuarez · 2026-09-21