Picture a tune that plays with your mind. It does not go straight but skips and flips in ways you do not expect. That is math rock. It avoids common music paths, which makes it feel fresh and smart.

Every December 8 for years, Julia Robinson blew out the candles on her birthday cake and made the same wish: that someday she would know the answer to Hilbert’s 10th problem. Though she worked on the ...