“OpenAI recently claimed to have solved an 80-year-old mathematics problem from Erdős.”