Q quantamagazine.org Mathematicians Settle Erdős Coloring Conjecture 99 points pseudolus 5 years ago 17 comments