Imagine you're a mapmaker, ready to finish your masterpiece map of the world. The only thing left to do is add the colors. But how many colors do you need for the countries if you want to make sure no ...

2025 marked a historic year in mathematics. Researchers solved a major case of Hilbert’s ambitious sixth problem, proved a sweeping new theorem about hyperbolic surfaces, and settled the longstanding ...

Mathematician Kenneth I. Appel used an I.B.M. computer in 1976 to prove a century-old problem concerning colors on a map, and from there computers were used to provide proofs for higher and higher ...