新闻资讯7
Redis 之父：人类程序员胜过大模型
AI前线
AI 摘要
Redis 之父 Antirez：人类程序员比大模型出色，在修复 Redis 复杂 bug 中，人类能打破常规想解法，大模型较难。开发者看法不一，当下 AI 缺创造力，但改变了开发工作方式。
阅读原文 · AI前线
Redis 之父：哪怕被喷我也得说，AI 远远落后于人类程序员！开发者跟评：用大模型气得我自己写代码都有劲儿了
Redis 之父 Antirez 分享研发经历，认为人类程序员比大模型出色，人类能打破常规想出更有效解法。他在修复 Redis 复杂 bug 时，与 Gemini 2.5 PRO 交流，凸显人类创造力优势。开发者看法不一，AI 虽成工具但缺创造力。
关注公众号
扫码关注
第一时间收到每日精选
相关文章
推荐文章9
陶哲轩：AI开启数学2.0时代
本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲，梳理近期AI接连攻克重大数学难题的进展，提出AI将数学带入证明过剩的新时代，警示人类不能丢失对数学的理解，呼吁人机合作增强认知。
新智元
新闻资讯9
Gemini 4 Argon实测，谷歌归来
本文带来谷歌新发布Gemini 4 Argon大模型的多场景实测，对比竞品性能价格，验证其物理推理能力，同时曝光该模型现存问题。
新智元
新闻资讯9
谷歌Gemini 4 Argon全球可用
本文报道谷歌正式全球上线Gemini 4 Argon，详细说明了开放范围与定价规则，放出大量谷歌内部及合作方的实际应用案例，覆盖多领域，回应了此前对该模型实用性的质疑。
AGI Hunt
新闻资讯9
王兴兴：对AI不够相信是最大错误
宇树科技创始人王兴兴在2025工博会圆桌论坛上，坦诚反思过去十几年最大错误是对AI不够相信，分享了具身智能、人形机器人领域的核心判断，预判临界点最快一两年到来。
AI前线