in symplectic topology, the theorem that every area-preserving, orientation-preserving homeomorphism of an annulus that rotates the two boundaries in opposite directions has at least two fixed points
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).