ChatGPT solves Erdos Problem 1176 in 80 minutes · HackerTrans