当Redis之父怒怼AI:我用一个代码漏洞,揭穿了人工智能的致命短板​​

AI快讯 2025-06-02

深夜,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脑中突然迸出个"离经叛道"的方案:
​用异或运算代替哈希表!​

原理简单得令人发指:

  1. 将每条链接(A:B:X)视为12字节数据
  2. 与累加器持续进行异或运算
  3. 正常链接因成对出现会相互抵消
  4. 最终累加器非零=存在异常链接

"知道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编程的三大悖论已然显现:

  1. ​能力陷阱​

能写教科书级排序算法,却看不懂需求中"用户想要更快的列表"的真实含义

  1. ​创新盲区​

可完美实现已知设计,但面对"用异或校验数据"的野路子直接死机

  1. ​经验诅咒​

资深开发者能用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无法偷师的三大内功:

  1. 把模糊需求转化为精确约束的艺术
  2. 在错误答案中嗅出正确方向的本能
  3. 敢于用'不完美方案'打开局面的胆识"​**​

毕竟,当AI能写出完美代码时,​​"解决问题"本身将成为最昂贵的奢侈品。​​ 而人类,永远是奢侈品的创造者。

©️版权声明:若无特殊声明,本站所有文章版权均归AI工具集原创和所有,未经许可,任何个人、媒体、网站、团体不得转载、抄袭或以其他方式复制发表本站内容,或在非我站所属的服务器上建立镜像。否则,我站将依法保留追究相关法律责任的权利。

相关文章