Lenore Blum’s long career has spanned the breadth of mathematics and computer science. She’s done influential work in logic and cryptography, and she formulated an entirely new model of computation.

Peter Scholze wants to rebuild much of modern mathematics, starting from one of its cornerstones. Now, he has received validation for a proof at the heart of his quest from an unlikely source: a ...