theorem that every positive integer can be represented uniquely as the sum of one or more distinct Fibonacci numbers in such a way that the sum doesn’t include any two consecutive Fibonacci numbers
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).