Terence Tao on how AI math solutions miss the point | Hacker News Reader