theorem that the time evolution of the expectation value of a quantum observable is proportional to that of the commutator between the observable and the Hamiltonian (plus that of any explicit time dependence of the operator, if any)
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).