Hey Erdos, We Solved Your Really Hard Math Problem, But No You Can't Check Our Work
Wednesday, February 26, 2014 - 08:30
in Mathematics & Economics
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 proposed by the Hungarian mathematician Paul Erdős, who offered $500 for its solution.They just can't be sure, because it is too big for a human to replicate.The resulting proof generated is an enormous 13 gigabytes, 30 percent larger than downloading all of the content on Wikipedia. read more