Did they actual prove this?
They didn't need to, because it was proven in 1969 (J. H. Conway and R. K. Guy, _Stability of polyhedra_, SIAM Rev. 11, 78–82)
They probably used AI to convert a cat into a tetrahedron, then virtually dropped it millions of times to arrive at this feet-always conclusion.
They didn't need to, because it was proven in 1969 (J. H. Conway and R. K. Guy, _Stability of polyhedra_, SIAM Rev. 11, 78–82)