ChatGPT solves Erdos Problem 1176 in 80 minutes | Heykuki News