Joining the dots: Mathematicians solve hot coloring problem