
theorem in quantum mechanics that in closed-shell Hartree–Fock theory, the first ionization energy of a molecular system equals the negative of the orbital energy of the highest occupied molecular orbital
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).