>ChatGPT, prompted by an amateur, solves an Erdős problem.

There, fixed that for you.