What's up in
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.
Two monumental works have led many mathematicians to avoid the equal sign. The process has not always gone smoothly.
Get highlights of the most important news delivered to your email inbox