Hacker News new | ask | show | jobs
ChatGPT solves Erdos Problem 1176 in 80 minutes (chatgpt.com)
3 points by voisin 59 days ago