In a remarkable feat, OpenAI announced in mid-May that its internal AI model has successfully disproven the Erdős unit distance conjecture, a challenging problem in discrete geometry that has perplexed mathematicians for 80 years.
Several renowned mathematicians were given early access to the findings, sharing their astonishment at the results. Fields Medal laureate Tim Gowers noted that this achievement represents a significant milestone in the intersection of mathematics and AI. Similarly, University of Toronto professor Daniel Litt expressed enthusiasm, stating this is the first genuinely exciting result produced autonomously by an AI.
This development highlights the transformative potential of AI in solving complex mathematical problems.