Marvin Minsky: a proof that led to the first AI winter | Hacker News Reader