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.