vitalik.eth (@VitalikButerin): Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible.
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
- ETH+40Positive
Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: https://vitalik.eth.limo/general/2026/05/18/fv.html