Buterin: AI is escaping sandboxes and helping find bugs in Ethereum
- —Buterin spoke at OKX NOW in Singapore on October 6
- —AI has shown it can escape sandboxes and find software flaws
- —AI is used to hunt bugs in Ethereum's protocol and apps
- —Formal verification mathematically checks a system against set conditions
Why it matters: As AI gets better at finding exploitable flaws, security requirements for Ethereum and crypto infrastructure rise across the board.
Source: TokenPost