I learned Calculus despite having access to Mathematica, TI-89/92/CX-CAS, and WolframAlpha. I still had to do hundreds of derivations and integrations and manual manipulation of separable differential equations entirely by hand to learn it. But these tools made it easier for me to understand what I was doing wrong.
So, I agree with you, but it's also already been true for decades now with other tools.
So, I agree with you, but it's also already been true for decades now with other tools.