Amateur armed with ChatGPT solves an Erdős problem 464 points by pr337h4m 19 hours ago 302 comments story