Also known as root two, root 2, square root of two, √2, sqrt 2
unique positive real number which when multiplied by itself gives 2
via Wikipedia infobox
via Wikidata · CC0
The square root of 2 (approximately 1.4142) is the positive real number that, when multiplied by itself or squared, equals the number 2. It may be written as
2
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).