Erdős problems

OpenAI has announced that its latest reasoning model produced an original mathematical proof disproving a long-standing conjecture in geometry — a problem first.