OpenAI Claims It Actually Solved That 80-Year-Old Math Problem This Time, No Really

OpenAI says its new reasoning model disproved a famous 1946 Erdős conjecture - and this time they have actual mathematicians backing them up, not just a deleted tweet.