> I can still do integrals by hand good for you if you can do integrals by hand, i would bet though you're in the small minority of people who can do that. >

> I can still do integrals by hand good for you if you can do integrals by hand, i would bet though you're in the small minority of people who can do that. > AI isn't the ultimate tool, it still can't do basic proofs and it's not doing neither automated proofs using a proof assistant language I meant AI as in human level AI and above. It will for sure be the ultimate (intellectual) tool that can solve any intellectual task. > Everytime I see someone say something like this I assume they do pretty insignificant work. I'm having a hard time following your line of thought, although you might be right and i might be doing insignificant work compared to you.