OpenAI reasoning model produces original proof for 80-year-old Erdős geometry problem

OpenAI said on Wednesday that one of its general-purpose reasoning models has produced an original proof that settles an 80-year-old geometry problem first posed by mathematician Paul Erdős in 1946, a claim that, if confirmed in full, would mark a notable milestone for artificial intelligence in mathematics. According to TechCrunch, the company says the model did not simply recall a known solution or rely on a special-purpose math system, but instead independently found a new family of constructions that outperforms the long-assumed best approach.