An OpenAI model solved a famous math problem that stumped humans for 80 years
Summary
Ars Technica reports that OpenAI's internal AI model disproved the Erdős unit distance conjecture, a long standing math problem. The piece describes how the AI leveraged higher dimensional grids and algebraic number techniques to create more unit distance pairs, while noting that human mathematicians still verify and refine results. It frames the breakthrough as a step in AI assisted mathematics and discusses implications for future AI-human collaboration in research.