AI Disproves 80-Year Math Problem by Paul Erdős

An AI system from OpenAI just solved a geometry puzzle that stumped mathematicians for eight decades, disproving a conjecture by legendary mathematician Paul Erdős.

The breakthrough marks the first time AI has autonomously produced a major scientific discovery.