Hacker News new | past | comments | ask | show | jobs | submit
Many less important Erdos problems have been solved by amateurs prompting ChatGPT 5.{3,4,5,6} Pro using their $200 subscription.