theorem stating that a complete, simply-connected, n-dimensional Riemannian manifold with sectional curvature taking values in the interval (1, 4] is homeomorphic to the n-sphere
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).