An OpenAI model has disproved a central conjecture in discrete geometry

OpenAI Blog · 1 month ago

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.