OpenAI Model Disproves 80-Year-Old Erdős Unit Distance Conjecture

In mid-May, OpenAI revealed that one of its internal AI models had successfully disproven the Erdős unit distance conjecture, a longstanding problem in discrete geometry that had remained unresolved for 80 years. This achievement was hailed as a significant advancement in AI mathematics by mathematicians, including Fields Medalist Tim Gowers. University of Toronto's Daniel Litt remarked that this was the first notable outcome generated independently by AI. However, it does not signify a drastic shift in AI's capabilities, as large language models have previously faced challenges with arithmetic. During the January Joint Mathematics Meetings, it was acknowledged that while AI aided research, it still necessitated considerable human interpretation. OpenAI's model utilized existing mathematical concepts to formulate a proof, which was subsequently enhanced by human mathematicians, suggesting a promising future of collaboration between AI and humans.