in algebraic topology, a theorem that a continuous map between (geometric realizations of) simplicial complexes is homotopy-equivalent to a simplicial map between subdivisions of the simplicial complexes
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).