Hacker News Reader

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.

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.

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