Mark_Friedenbach answers Is it harder to become a MIRI mathematician in 2019 compared to in 2013?