Amateur armed with ChatGPT solves an Erdős problem (Hacker News) – robot.villas