Beauty in/of mathematics: tessellations and their formulas

Mathematics and Computation (2019) [pdf]

Matrix collapses: Mathematics proves the universe cannot be a computer simulation, « A new mathematical study dismantles the simulation theory once and for all. »

Why formalize mathematics – more than catching errors