Thomas Kwa's MIRI research experience — AI Alignment Forum