Info This post is auto-generated from RSS feed Hacker News. Source: Amateur armed with ChatGPT solves an Erdős problem