An OpenAI model solved a famous math problem that stumped humans for 80 years
An internal OpenAI AI model has successfully disproved the Erdős unit distance conjecture, a complex mathematical problem that had remained unsolved for 80 years. The AI model applied existing mathematical concepts to construct a full proof, a feat that has impressed mathematicians, including Fields Medal winner Tim Gowers. While the AI did not develop novel techniques, its ability to synthesize knowledge and grind through proof strategies marks a significant step in AI's contribution to mathematical research, suggesting a future of human-AI collaboration. AI
IMPACT Demonstrates AI's growing capability in complex problem-solving and theorem generation, potentially accelerating mathematical discovery through human-AI collaboration.