Adam Zerner comments on Suppose $1 billion is given to AI Safety. How should it be spent?