A year ago this week, an unusual collection of mathematicians, philosophers, historians, and social scientists gathered in Leiden, home to the oldest university in the Netherlands, to ponder how artificial intelligence was changing math. Since then, a lot has changed. Konstantin Kakaes reports on Transformation: