Comment by fidotron
9 hours ago
Well if it proves useless presumably they'd stop doing it.
But if AI is to recursively self improve understanding and evolving its own foundations, which are clearly mathematical, is essential. There is no need for humans to grasp what is going on in that loop.
Math also has applications, and they don't rely on human mathematicians doing the math.