Terence Tao solves the Erdős Discrepancy Problem | Heykuki News