Rupert’s property: cut a hole in a polyhedron big enough for an identical copy to slide through

That’s really interesting news! Just a week ago my son and I were attempting (successfully) to prove Prince Rupert’s property for the cube. I’ll have to share this with him!

Was going to say “wow tom7 does it again!!” after seeing him cited in the linked video for the Triakis Tetrahedron’s formal verification, but turns out the original paper cites an older source and does a very different numerical optimization.

Ah well still a neat result!