> 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.

Sorry for being too aggressive it's just I see a lot of people (managers) talking like current chatgpt can replace people at my line of work (R&D in long term economic planning) and I can't see people even begin to formulate the right questions, and never mind understanding the answers.