Terence Tao: Cleverness versus Intelligence in AI Tools and Humans | Dark Hacker News