AI är farligt bra på säkerhet i smarta kontrakt.