Amateur armed with ChatGPT solves an Erdős problem