Predictions made by Mati Roy in early 2020 — LessWrong