Sourc: Understanding AI
by Kai Williams
“Last week, 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. … It’s arguably the first time that an AI system has found a proof resolving a major open conjecture. That’s impressive, but I don’t view it as a radical break from the previous trajectory of AI progress in mathematics.” (05/28/26)
https://www.understandingai.org/p/openais-milestone-math-breakthrough