Solving one of the most famous Erdos problems that has remained unsolved for 80 years without using tools like lean but instead a giant reasoning block is quite a lot more than "kinda nothing"
I think people suffer from recency bias with AI a bit and take for granted you know gestures vaguely at the rest of human civilisation