OpenAI has revealed a breakthrough proof that overturns a nearly 80-year-old geometry conjecture posed by Paul Erdős.
OpenAI says one of its internal AI models has solved the planar unit distance problem, a famous maths puzzle first posed by ...