当Redis之父怒怼AI:我用一个代码漏洞,揭穿了人工智能的致命短板
深夜,Redis之父Salvatore Sanfilippo(圈内人称Antirez)盯着屏幕上Gemini 2.5 PRO生成的代码建议,突然笑出了声。"这就是价值200亿美金的AI智慧?"他在博客写道,"人类程序员被取代?至少再等十年!"
这个让AI哑火的难题,源自Redis核心组件Vector Sets的一个隐蔽漏洞。当Antirez试图修复数据校验与RDB存储的兼容性问题时,传统解法让2000万向量的加载时间从45秒暴增至90秒。"像让法拉利拉牛车——完全不可接受!"
一、AI的"学霸式困局":精确的平庸
当Antirez将问题抛给Gemini时,AI给出了教科书级方案:"对相邻链接指针排序,用二分查找优化效率。"
"这就像教高中生解微积分,"Antirez摇头,"答案正确,但完全不懂实战。"在真实场景中,对仅有16-32个指针的微型数组排序,其性能损耗反而远超暴力扫描。
更让他失望的是后续对话:
- 他提出用哈希表存储节点链接关系(A:B:X格式)
- Gemini赞同却执着于snprintf()生成密钥
- 他改用memcpy直接操作内存
- AI才恍然大悟:"这确实更好"
"它永远在已知框架里打转,"Antirez感慨,"就像拿着锤子的人,看见什么都想敲两下。"
二、人类程序员的"野性思维":不完美,但致命有效
凌晨三点,咖啡见底时,Antirez脑中突然迸出个"离经叛道"的方案:
用异或运算代替哈希表!
原理简单得令人发指:
- 将每条链接(A:B:X)视为12字节数据
- 与累加器持续进行异或运算
- 正常链接因成对出现会相互抵消
- 最终累加器非零=存在异常链接
"知道Gemini怎么评价吗?"Antirez在博客揶揄,"它严肃警告:可能有三条伪链接恰好异或归零!"
对此他只用两招破解:
- 引入/dev/urandom的随机种子(S)
- 结合murmur-128哈希输出
最终实现128位寄存器校验,错误率低于十亿分之一。
"看,人类就爱干这种事,"他写道,"用不精确的数学技巧,解决精确计算搞不定的难题。而AI还在纠结理论漏洞——就像担心喝水可能噎死。"
三、开发者亲述:AI是"自信过头的橡皮鸭"
这篇"战AI檄文"引爆程序员社区,最犀利的比喻来自开发者marcosdumay:
"当前AI就像只狂妄的鸭子,自信程度与能力成反比。多少人被它带进沟里!"
JetBrains用户吐槽更直接:"多行补全看似智能,实际打断率高达70%。当你发现它生成的优雅代码全是错误时,血压直接拉满。"
另一位开发者的话引发强烈共鸣:"现在被AI气到摔键盘后,我写代码反而更有劲了——它是最好的反向鸡血!"
但有趣的是,"AI橡皮鸭" 的称号获得广泛认同。新手程序员cogogo分享:"对着它解释问题时常突然开窍,毕竟真人同事可能翻白眼,而AI永远耐心。"
有人甚至开发出VSCode插件:用OpenAI API实现与"橡皮鸭"的语音对话。"吐槽AI时不用怕丢脸,这才是核心价值!"
四、残酷真相:AI正在重构编程,而非消灭它
当NVIDIA黄仁勋宣称"编程已死"、Anthropic CEO预测"90%代码将AI生成"时,Antirez的实战案例恰似一盆冷水。但微软CTO Kevin Scott的论断或许更接近真相:
"到2030年,95%代码由AI生成,但人类会进化为'AI指令的策展人'。"
当前AI编程的三大悖论已然显现:
- 能力陷阱
能写教科书级排序算法,却看不懂需求中"用户想要更快的列表"的真实含义
- 创新盲区
可完美实现已知设计,但面对"用异或校验数据"的野路子直接死机
- 经验诅咒
资深开发者能用AI增效10倍,新手反被错误代码误导——如同给小学生微积分题库
五、未来程序员的生存法则
当Antirez关闭Gemini窗口时,他在博客写下关键洞察:
"AI的真正价值,是充当有基本智力的'思考副手'。但永远记住——你才是船长。"
这解释了两个现象:
- GitHub统计显示,Copilot用户代码提交量增40%,但调试时间反升25%
- Stack Overflow流量未降反升:AI生成代码的咨询帖暴涨300%
"用AI就像教实习生,"十年经验的全栈工程师李明总结,"你要会说人话:"
× 错误指令:"优化HNSW图存储"
√ 有效指令:"用20行C代码实现节点链接校验,要求加载2000万向量时延<50ms"
结语:代码会消亡,但程序员永生
回看Antirez的异或校验方案——仅128行代码,却凝结着20年系统编程的直觉。这种能力被认知科学家称为"非陈述性知识":
如同厨师掂勺时的力道把控
如同老司机雨夜刹车的肌肉记忆
无法被量化,却决定成败
所以当黄仁勋们高呼"程序员末日"时,硅谷VC a16z悄悄投资了11家"AI时代开发者培训营"。其课程大纲第一条赫然写着:
**"忘记语法,修炼AI无法偷师的三大内功:
- 把模糊需求转化为精确约束的艺术
- 在错误答案中嗅出正确方向的本能
- 敢于用'不完美方案'打开局面的胆识"**
毕竟,当AI能写出完美代码时,"解决问题"本身将成为最昂贵的奢侈品。 而人类,永远是奢侈品的创造者。