人类智慧PK大模型：Redis向量集Bug修复记

Redis开发者antirez在修复Redis向量集(HNSW)中的一个复杂bug时，与Gemini 2.5 PRO大模型展开了一场智力较量。bug源于数据损坏导致的节点链接不一致，直接修复的O(N²)复杂度方案效率太低。antirez先尝试了大模型建议的二分查找法，但效果不佳。随后，他独立构思出一种巧妙的基于异或累加器的方案，并进一步优化为使用MurmurHash128和随机种子，有效解决了bug，并提升了性能。整个过程展现了人类创造性思维在解决复杂问题上的优势，虽然大模型提供了辅助，但最终的突破性方案仍来自于人类的灵感。