number-theoretic conjecture that states that 𝑘 people running around a circular track with distinct speeds will each be, at some point, separated by ¹⁄ₖ from every other runner
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).