Jack R comments on Who would you have on your dream team for solving AGI Alignment?