Wei Dai comments on SIAI’s Short-Term Research Program