Maths Olympiads
9th May 2026
OpenAI says one of its general-purpose reasoning models has disproved an 80-year-old conjecture by mathematician Paul Erdős, a result validated by mathematicians but one that still leaves the deeper problem unsolved.