ChatGPT solves Erdos Problem 1176 in 80 minuteschatgpt.com3 points·voisin··0 commentsOpen articleSaveView on HN