Ethereum Code Audits Are a Possible Use Case for AI, Vitalik Buterin Says