Graph theorist at Japan's National Institute of Informatics
Appears in 1 story
As of September 2026: Co-led the new proof; supervised graduate students who ran months of computation
The four-color theorem says any map can be colored with four colors so no neighboring regions match. A team of six mathematicians posted a new proof in March 2026 that colors any planar graph in near-linear time, down from quadratic in the previous accepted proof.
Updated Sep 11
No stories match your search
Try a different keyword
How would you like to describe your experience with the app today?
