Yes, and keyboards also save a lot of time over handwriting. Numerical methods and proof engines save even more time. LLMs are just another tool in the kit.