Terence Tao: Cleverness versus Intelligence in AI Tools and Humans / hacker news