ChatGPT solves Erdos Problem 1176 in 80 minutes #1 Post by voisin » Mon, Apr 27, 2026, 12:44 AM UTC ChatGPT solves Erdos Problem 1176 in 80 minuteschatgpt.com