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.
Little progress had been made in solving Ramsey problems since the 1930s. Now, researchers have found the answer to r(4,t), a longstanding Ramsey problem that has perplexed the math world for decades.