OpenAI claims it solved an 80-year-old math problem — for real this time
TechCrunch | 21.05.2026 03:28
OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946.