Hacker News new | past | comments | ask | show | jobs | submit login Reactions to 100 Solutions ( proofsandprompts.com ) 3 points by jacobedawson 2 hours ago | hide | past | favorite | 1 comment help sunir 12 minutes ago [–] People still play chess and go and StarCraft. People do what people want to do. It's not clear whether this will reduce the number of working mathematicians or increase it. There will a lot to learn from the machine proofs that will open up new frontiers as well. So, it's like the story, "We'll see." There has been a shocking but not altogether surprising development, and all reactions are valid. reply Consider applying for YC's Winter 2027 batch! Applications are open till November 2. Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: