ChatGPT solves Erdos Problem 1176 in 80 minutes | Dark Hacker News