@VitalikButerin: "Even more bugs are inevitable, software is all going to become probabilistic now" is cope. "AI bug-finding means we ha…
Summary
Vitalik Buterin argues against the narratives that bugs are inevitable and that AI bug-finding necessitates closed-source, stating that writing secure code has become harder but not impossible.
View Cached Full Text
Cached at: 05/16/26, 11:18 AM
“Even more bugs are inevitable, software is all going to become probabilistic now” is cope. “AI bug-finding means we have to embrace closed-source now” is a psyop.
Writing buggy code has moved from hard to trivial. Writing secure code has moved from impossible to hard.
Similar Articles
@VitalikButerin: Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossib…
Vitalik Buterin shares an optimistic take on AI-assisted formal verification as a path to secure, trustless code, linking to his blog post explaining the basics of formal verification using Lean.
Vitalik Buterin’s AI take is less about chatbots and more about proving software is safe
Vitalik Buterin argues that AI can make formal verification more practical, helping generate specs and proofs to ensure software behaves correctly, potentially transforming critical software development beyond Ethereum.
AI has another security problem
Article argues that AI-generated code and closed-source software are inherently less secure, and that LLMs like Anthropic’s Mythos will exacerbate vulnerabilities, making open-source projects the only trustworthy option.
You can't bug fix your way out of the vulnpocalypse
Alex Gaynor argues that the AI-driven 'vulnpocalypse' makes traditional bug-by-bug fixing untenable and calls for systemic security fixes, such as rewriting components in memory-safe languages.
Just the rumour of a bug is enough to find an exploit these days
This article discusses how rumors of security bugs in open-source software are being rapidly exploited by AI agents, necessitating changes in security response protocols and highlighting the ineffectiveness of traditional embargoes.