Leaving your “math is for humans” take alone, if the purpose of math is to “gain a precise and clear understanding of the world”, why is clarifying results a contemptible way to spend time?
Because the best way to do that is in a sufficiently minimal enviroment so people can just think and go their own way. Being bombared with machine-generated results is antagonistic to this process.
