Rupert's snub cube and other Math Holes
Rupert's Snub Cube and other Math Holes Yes, the whole 80 minutes is about cubes and their relatives, but from a variety of angles: The earlier SIGBOVIK 2025 paper Some upsetting things about shapes lets you see how far I've come in adding footnote support to BoVeX (not far) and avoids exposing you to any unknown information. Play jcreed's boring and hard video game version. See also dwrensha's soothing video version of results and his formal verification of the delicate triakis tetrahedron