But Dumbo could already fly?
An unnamed internal OpenAI model disproved an 80-year-old geometry conjecture by mathematician Paul Erdős, marking the first verifiably new and non-trivial mathematical contribution autonomously produced by artificial in…