A lot of maths is used without thought. If I asked you whats 5×5, the answer 25 would probably pop in your head without thought, same with estimation of distances and angles, they're used all the time without thought, but someone might have no idea on how to judge distances if they weren't taught the same boring maths thousands of times over to make it second nature. In fact I know a few people like this who ask me to add up the price of items which were £1,£1 and £2. And questions like "how big is 36cm?"
In primary school, I learnt units of measure and have a rough idea, so I can estimate distances, capacity, angles etc., without that theres probably going to be some inefficiency.
You often hear from Americans "why don't we learn how to do taxes", but if they had listened in math(s) they would have realised that they just have to apply basic numeracy skills.
Then theres the argument of "when am I ever going to use this in life ?"
which is absurd because that's like suggesting that we should just ask children if they want to enter a field that uses maths, but we shouldn't, the point is that some people use it and minors need to be taught a bit of everything.
Someone who has delivered Amazon packages for 10 years is not going to need to know how to find the intersection of a line and a parabola, but it does help with problem solving. If I never learnt how to do the aforementioned and then a lot of what I'd second nature when I'm studying higher level maths, would take a much longer time to understand.
There is evidence that the babylonians knew some pythagorean triples, but not Pythagoras' theorem, because they wrote down some triples, but didn't know the theorem.
Also a lot of news stories about scientific findings are misinterpreted because of lack of understanding of maths. Ask any non maths person what an average is and a lot of them will say " not high, not low but the middle" rather than one of the correct answers- total/count or middle in a group (not middle of all possible values as its wrongly assumed to be). even terms like "unlikely", "more likely" and "higher chance" are misinterpreted to be absolutes because of lack of understanding of basic probability. An increased understanding helps the individual and a collective group.
I dont understand the idea that a machine can do it. I know people who dont even know what to put in to a calculator or any sort of programming software. It's like asking someone to do numerical simulations for travelling waves solutions to a particular equation, but without solving some boring equations by hand you dont develop an intuition for what you're doing.