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 ...

Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.