Future of AI for smart contracts