Stuart_Armstrong comments on Are smart contracts AI-complete? - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (46)
Theoretically yes, but that doesn't seem to be how "smart" devices are actually being programmed.
Which shift the verification to the imperfect car code.