Inom är Erdős–Szemerédis sats, bevisad av Paul Erdős och 1983, en sats som säger att för varje ändlig mängd A av reella tal finns det konstanter c och så att där och .
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).