An OpenAI model solved a famous math problem that stumped humans for 80 years

OpenAI's internal AI model disproved the Erdős unit distance conjecture. The problem had stumped human mathematicians for 80 years. Tim Gowers, a Fields Medalist, stated the solution is a milestone in AI mathematics. University of Toronto professor Daniel Litt called it the first example of a result produced autonomously by an AI. The achievement marks a significant step in AI's ability to solve complex mathematical problems.