jacobjacob comments on Bet Payoff 1: OpenPhil/​MIRI Grant Increase