Also known as Fermat's two-square theorem, Fermat's two square theorem, Fermat's 4n+1 Theorem
theorem that an odd prime is a sum of two squares iff it is of the form 4𝑛+1
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).