An OpenAI model has disproved a central conjecture in discrete geometry
OpenAI Blog
An OpenAI model disproved a central conjecture in discrete geometry by solving the unit distance problem, which mathematicians had worked on for 80 years. The model determined that the chromatic number of the plane is at least 5, improving upon the previous lower bound of 4 established decades earlier. This result advances understanding of how many colors are needed to color all points in a plane such that no two points at unit distance share the same color.
Why it matters
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.
