“Alex Turner's theoretical work on power-seeking involved mathematically defining power in a way that it can be calculated as a number for a given state of the world.”