John McCarthy (and others) vs. Lighthill on AI in 1973 | Hacker News Reader