What's up in
Computer scientists are trying to build an AI system that can win a gold medal at the world’s premier math competition.
Two computer scientists found — in the unlikeliest of places — just the idea they needed to make a big leap in graph theory.
For millennia, mathematicians have wondered whether odd perfect numbers exist, establishing an extraordinary list of restrictions for the hypothetical objects in the process. Insight on this question could come from studying the next best things.
Emily Riehl is rewriting the foundations of higher category theory while also working to make mathematics more inclusive.
Three mathematicians have resolved a fundamental question about straight paths on the 12-sided Platonic solid.
AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.