Amateur armed with ChatGPT solves an Erdős problem

467 points by pr337h4m 19 hours ago on hackernews | 304 comments
https://www.erdosproblems.com/1196