discussion on reddit: https://www.reddit.com/r/math/comments/hv6m2n/terry_tao_on_s...