Stuart_Armstrong comments on Are smart contracts AI-complete?