@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.
Creator of C++: "AI-generated code isn't ready - it generates more bugs, more bloat, more security holes, and is nearly impossible to validate"
Bjarne Stroustrup criticizes AI-generated code, stating it introduces more bugs, bloat, and security holes, and is nearly impossible to validate, with senior developers retiring rather than dealing with it.
@saranormous: https://x.com/saranormous/status/2064510215056400652
Despite rapid advances in AI coding agents like Devin, which have dramatically increased code writing and shipping, the article argues that the most valuable aspects of software engineering remain illegible to benchmarks and require human judgement and organizational coordination that cannot be easily automated.