romeostevensit comments on Is it harder to become a MIRI mathematician in 2019 compared to in 2013?