A long-standing mathematical puzzle linked to the work of Paul Erdős has reportedly been solved with the help of ChatGPT, ...