10h ago

Vitalik Buterin, Ethereum co-founder, says AI-assisted formal verification can enable secure code and trustless systems even as AI tools improve at finding bugs and links to his May 18 article outlining the approach

——0——

Miles Brundage reposted the thread on formal verification.

Original post
OPVaibhav (VB) Srivastav#1853Vaibhav (VB) Srivastav@REACH_VB

@VitalikButerin yo @VitalikButerin - would love for you to try out Codex and GPT 5.5, I think it’ll fit a lot of the direction you’re thinking about! how do we make this happen?

6:16 AM · May 18, 2026 View on X
Reposted by
Miles Brundage#20@MILES_BRUNDAGE
REPLYVaibhav (VB) Srivastav#1853Vaibhav (VB) Srivastav@REACH_VB

@VitalikButerin yo @VitalikButerin - would love for you to try out Codex and GPT 5.5, I think it’ll fit a lot of the direction you’re thinking about!

how do we make this happen?

vitalik.ethvitalik.eth@VitalikButerin

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

12:40 PM · May 18, 2026 · 217.9K Views
1:16 PM · May 18, 2026 · 1.6K Views
Vitalik Buterin, Ethereum co-founder, says AI-assisted formal verification can enable secure code and trustless systems even as AI tools improve at finding bugs and links to his May 18 article outlining the approach · Digg