Computational Ergodicity of $s^4$
  It is known that there are four-manifolds which are not algorithmically recognizable. This implies that there exist triangulations of these manifolds which are separated by large barriers from the point of view of the computer algorithm. We have not observed these barriers for triangulations of $S^4$. 
J. Ambjorn and J. Jurkiewicz