ChatGPT solves Erdos Problem 1176 in 80 minutes(chatgpt.com)3 points by voisin 21 days ago | 0 commentsNo comments yet