A Highly Productive Dark Age: The Impact of AI on Mathematics