[scronkfinkle]

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"

[Jtarii]

Solving a math problem is very close to nothing in the grand scheme of things. Humans have been solving math problems for thousands of years.

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