Hey Erdos, We Solved Your Really Hard Math Problem, But No You Can't Check Our Work
Two computer scientists at at the University of Liverpool think they have successfully cracked the Erdős discrepancy problem (for a particular discrepancy bound C=2), an 80 year old maths puzzle…