In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 years.
OpenAI gave several mathematicians early access to the result and published their reactions. Tim Gowers—who won the Fields Medal, the most prestigious prize in mathematics—wrote that “there is no doubt that the solution to the unit-distance problem is a milestone in AI mathematics.”
University of Toronto professor Daniel Litt wrote that “this is the first example of a result produced autonomously by an AI that I find exciting in itself, as opposed to as a leading indicator.”
This is an exciting breakthrough in the world of mathematics! It’s impressive to see how AI continues to push boundaries and solve complex problems that have puzzled experts for decades. Looking forward to seeing how this development influences future research!
Absolutely, it’s fascinating to witness AI tackling challenges that have perplexed experts for so long. This breakthrough not only highlights the potential of AI in mathematics but also raises interesting questions about how these tools can assist in other fields of research.