Baker's theorem
lower bound for absolute value of linear combinations of logarithms of algebraic numbers
lower bound for absolute value of linear combinations of logarithms of algebraic numbers
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).