UC Berkeley 团队推出了开源项目 LEANN，通过“剪枝图 + 查询时重算”的思路压缩向量索引。