AI bros here and elsewhere seem to come at Terry Tao with "not so smart now are you?" viciousness that is off-putting.