Using crowd-sourced and traditional mathematics research, Terence Tao has devised a solution to a long-standing problem posed by the legendary Paul Erdős. A simplified version of the problem goes like ...