@VitalikButerin on X

One application of #AI that I am excited about is AI-assisted formal verification of code and #bug finding.

Right now #ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.
$ETH