Tag
OpenAI claims its unreleased reasoning model has solved the 80-year-old planar unit distance problem in mathematics, producing an original proof that outperforms traditional grid-based arrangements.
OpenAI has achieved a breakthrough in mathematics: an AI model autonomously solved the planar unit distance problem, a famous open question from 1946, by discovering a new family of constructions that outperform square grids. This marks the first time AI has independently solved a prominent open problem in mathematics.