Amateur armed with ChatGPT solves an Erdős problem

by pr337h4m | View on Hacker News