Amateurs Solve a Famous Computer Science Problem On Discord