Mark_Friedenbach comments on New forum for MIRI research: Intelligent Agent Foundations Forum