Buterin says AI and human intent can make crypto safer amid $400M theft