Terence Tao on GPT-4 | Hacker News Reader