I wrote this post. To summarize my argument in three lines:

There ARE different ways of defining mathematics, and some of them contradict each other.

Silicon Valley companies wrongly assume their platforms are agnostic on those definitions.

For better or worse, if you're trying to make money in math education, the Common Core State Standards are the definition that trumps your or my preference for recursion, computational algebra, etc, and those standards include a lot of practices for which, at this point in history, computers aren't just unhelpful, but also counterproductive.