Also known as 5 color theorem, 5 colour theorem, five colour theorem, five-colour theorem, five-color theorem, 5-color theorem, 5-colour theorem
theorem
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).