The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why it matters.
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 ...
The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.
Results that may be inaccessible to you are currently showing.
Hide inaccessible results