David Gross's Shortform — AI Alignment Forum