An OpenAI reasoning model just disproved an 80-year-old geometry conjecture. Here's what it actually means.
On May 20, OpenAI's internal reasoning model produced a 125-page proof disproving the Erdős unit distance conjecture — open since 1946. Tim Gowers verified it. Will Sawin refined it. Here's what the result actually tells us about AI and mathematics, and what it doesn't.