X (formerly Twitter)
vitalik.eth (@VitalikButerin) on X
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://t.co/0ceMBZ6uqj
May 19, 2026 523 1
