Gowers on Terrence Tao's solution to the Erdős discrepancy problem | Heykuki News