@urusan The human, in much the same way as a human accounting on an abacus or tracking tallies using a bag of rocks is who solved the problem.
... math is symbols and the manipulation of symbols. The symbols only have meaning in that humans assign it to them.