OpenAI AI model solves 80-year-old geometry problem

Original: An OpenAI model has achieved a major breakthrough in mathematics, by disproving a central conjecture in discrete geometry that was first posed by Paul Erdős in 1946.

Source: x.com ↗