iOS平台向量相似度检索的可行实现方案咨询

我现在遇到个问题想请教大家：我手上有一组大概1万+的向量，当拿到新向量时，想要从这组向量里找出和它最相似的前K个。

目前我知道可以用暴力循环的方式：计算新向量和集合里每个向量的相似度，然后选出前K个。不过这种方法效率一般，像FAISS或者ScanNN这类更高效的工具能支持百万级向量检索，但它们都没法在iOS上运行。所以想问问大家，有没有能在iOS平台上用的向量相似度检索实现方案？

补充1：我之前找到过一个相关项目，但看起来已经没人维护了，有没有小伙伴实际用过类似的项目呀？

补充2：补充一句，针对1万左右的向量，暴力检索其实也能用，但如果向量数量多很多的话，还是需要更合适的方案，所以这个问题依然开放~

备注：内容来源于stack exchange，提问作者Alcibiades