AI found an Ethereum bug that could take validators offline, but humans had to prove it