When we learn something new, that information does not exist in isolation. It integrates into the complex landscape of our knowledge, forging connections with existing ideas and opening up ...

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.