Microsoft Researcher John Langford Exits. AI Frontiers Group Declared Finished