[threatofrain]

It would be odd if we made deep advances in understanding math at an explanatory level without having some kind of translation to how people do math.

[quus]

Maybe, but it doesn’t seem like a requirement. Like having an understanding of jazz at the level of music theory vs being a jazz musician.

[threatofrain]

It's also difficult for me to believe that deep advances in music understanding would fail to translate to actual music.