Sophie Germain's theorem
On the divisibility of solutions to Fermat's Last Theorem for prime exponent
On the divisibility of solutions to Fermat's Last Theorem for prime exponent
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).