Paul Erdős

“OpenAI recently announced that an internal model, working entirely on its own, had made a breakthrough on the problem by disproving Erdős's conjecture and offering a better construction.”

“In 1946, mathematician Paul Erdős posed a now-famous problem in discrete geometry… He put forward his own conjecture about the solution, and offered a monetary prize to anyone who could resolve it. For 80 years, no one could.”

“Last week, OpenAI announced that a forthcoming, general-purpose model solved the planar unit distance problem posed by Paul Erdős in 1946.”