Mathematicians Settle the Erdős Coloring Conjecture