Ana Caraiani seeks to unify mathematics through her work on the ambitious Langlands program. For her senior thesis at Princeton University, Ana Caraiani was given a challenging problem from her ...

This article was published in Scientific American’s former blog network and reflects the views of the author, not necessarily those of Scientific American On Monday, the Onion reported that 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.