An 80-year-old geometry puzzle has been solved by an OpenAI model, with mathematicians verifying the proof. However, reports indicate that the solution came in the form of a disproof, contradicting a central conjecture in discrete geometry. The exact nature of the problem and its solution are described as an "Erdős problem", with outlets characterizing the breakthrough as a significant achievement in mathematics.