AI is dangerously good at smart contract security.