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.