MIRI is proud to announce several new team members (see our Team page for more details): Benja Fallenstein attended four of MIRI’s past workshops, and has contributed to several novel results in Friendly AI theory, including Löbian cooperation, parametric polymorphism,...