

OpenAI has announced that one of its unreleased AI reasoning models has successfully solved a mathematical problem that remained unsolved for nearly 80 years. According to the company, the model independently produced an original proof related to the famous “Planar Unit Distance Problem” first proposed by renowned mathematician Paul Erdos in 1946. The problem focuses on determining how many pairs of points on a two-dimensional plane can remain exactly one unit apart from each other, a question that has challenged mathematicians for decades.
OpenAI stated that its AI model discovered an entirely new family of mathematical constructions that outperform traditional square-grid arrangements previously believed to be the most efficient. The company described the achievement as a major milestone in AI-assisted mathematics and scientific research. Several mathematicians, including Tim Gowers and Thomas Bloom, reportedly reviewed the findings and praised the development. OpenAI believes such advanced reasoning abilities could eventually contribute to breakthroughs in biology, physics, engineering and medicine by helping researchers tackle highly complex problems.














Comments (0)
No comments yet
Be the first to comment!