Fun math facts about 2023 — LessWrong