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.