What's up in
For almost a century, the anonymous members of Nicolas Bourbaki have written books intended as pure expressions of mathematical thought.
Computer scientists are trying to build an AI system that can win a gold medal at the world’s premier math competition.
Emily Riehl is rewriting the foundations of higher category theory while also working to make mathematics more inclusive.
AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.