@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

Bitcoin Dips on Curve FUD.

#bitcoin has fallen slightly below $29,000 while #ethereum's ratio has dipped from 0.064 BTC to 0.063 with one eth now at $1,830 from $1,870.

Both #cryptos have been sidewaying for some time, so this small move might just be markets being markets, but an exploit of one of the more prominent #defi dapp, Curve, might have contributed.

A bug in the older versions of the second most popular smart contract programming language Vyper led to the theft of some 30,000 eth and the withdrawal of 60,000 eth on Monday.