6 ms·
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
by scronkfinkle 4mo ago
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 4mo agoSolving 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