è morto marvin minsky, il pioniere dell'intelligenza artificiale