Security researcher bets AI won't formally verify critical software by 2028
matthew_d_green · x · 2026-10-23
- Security researcher S1r1u5 argues cyber is fundamentally offense-dominant and is putting money on it: he'll concede if by end of 2028 most critical software—chromium, firefox, the linux kernel, nginx, next.js, apache including every dependency—is formally verified.
- Alternative wager: frontier labs formally verify every dependency codex or claude code relies on (agent actions included in the spec), covering cloud infrastructure and desktop clients.
- The wager turns the "will AI end vulnerabilities" debate into a testable claim.
More from AGI Musings
- If LLMs become the universal interface, who indexes the MCP services? — ThomasBuildLab · 2026-10-23
- Bindu Reddy: bearish on superintelligence until robotics breaks the digital loop — bindureddy · 2026-10-23
- AI layoffs arrive: Barclays cuts 5,000, eBay 9%, Amex 3,500, Netflix ~1,000 — MFordFuture · 2026-10-23
- Random programs reliably evolve into self-replicators: why 'life is computation' may reshape how you think — paulnovosad · 2026-10-23
- Every generation feared its tech revolution would end the world — this one is no different — MoonL88537 · 2026-10-23
- Economist hails Blaise Agüera y Arcas' 'What Is Intelligence?' as best book of the year — paulnovosad · 2026-10-23