OpenAI's AI model has solved the Erdős unit distance conjecture, an 80-year-old problem in discrete geometry that had eluded human mathematicians. The breakthrough represents a significant milestone in AI-assisted mathematics, with leading mathematicians like Fields Medalist Tim Gowers praising the achievement. While the AI didn't develop new mathematical techniques, it successfully combined existing ideas from various mathematical subfields to construct a complete proof, which has since been refined by human mathematicians.
Background
The Erdős unit distance conjecture is a long-standing problem in discrete geometry that has challenged mathematicians since the 1940s. AI has been making steady progress in mathematics, from solving basic arithmetic to tackling complex proofs, with this achievement representing a significant leap forward in AI's mathematical capabilities.
- Source
- Ars Technica
- Published
- Jun 1, 2026 at 07:00 PM
- Score
- 9.0 / 10