function which encodes two natural numbers into a single natural number
在数学中，配对函数是一种将两个自然数唯一地编码成一个自然数的过程。 在集合论中可以用任何配对函数来证明整数和有理数有同自然数相同的基数。在理论计算机科学中用它们把定义在自然数的向量上的函数编码成一个新函数。
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).