OpenAI Model Disproves 80-Year-Old Math Conjecture

OpenAI announced that its general-purpose reasoning models disproved the Erdős unit distance conjecture ^[1][3]. This problem has remained a central challenge in discrete geometry for 80 years ^[1]. The AI discovered a new family of point arrangements providing a polynomial improvement over existing theories ^[1][2].

This breakthrough moves beyond the square-grid intuition that previously dominated the field ^[1]. The success of the model suggests that AI can now tackle abstract reasoning tasks once reserved for human mathematicians ^[2]. Experts believe this marks a turning point for using reasoning models in formal scientific discovery ^[3].