Redis 之父认为“人类程序员仍然比 AI 大模型更出色”-低调大师

Redis 之父认为“人类程序员仍然比 AI 大模型更出色”

2025-06-05 223

Redis 之父 Antirez 认为人类程序员仍比大模型出色，因其能打破常规想出奇特但成效高的解法，而大模型在这方面困难。

他分享了自己在为 Redis 开发 Vector Sets 修复复杂 bug 过程中，尝试多种方法并与 Gemini 大模型交流的经历，最终认为人类创造力仍有优势，但也表示 Gemini 在验证其思路可行性中发挥了重大作用，可当作“足够聪明的副手”。

Antirez 写道：

人类的创造力仍然具有优势，因为我们能够真正跳出思维定式，构思出一些奇怪且不精确的解决方案，这些方案往往比其他方案更有效。这是 AI 大模型极难做到的事情。

不过，为了验证我的所有想法，Gemini 非常有用，也许我之所以能以这种方式思考问题，是因为我有一个“聪明的伙伴”可以交谈。

原文：https://antirez.com/news/153

微信关注我们

原文链接：https://www.oschina.net/news/353714/human-coders-are-still-better-than-llms

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

AI 工具 | 国内好用的 5 款 AI 智能体工具

AI智能体正向自主化、多功能化发展，能模拟人类操作、执行复杂任务，提升效率与便利性。其价值在于解放用户时间，优化资源分配，同时通过自我学习与纠错能力不断完善，适应多领域需求。未来，AI智能体将深度融入工作与生活，推动数字化转型与个性化服务，为人类创造更智能的交互体验。扣子空间扣子空间（Coze Space）是字节跳动推出的通用型AIAgent，旨在帮助用户快速创建和管理AI应用。链接：https://www.coze.cn/space-preview 通过简单直观的可视化界面，即使没有编程基础，用户也能轻松上手。扣子空间集成了超过60款MCP扩展插件，涵盖资讯、旅游、办公等多种功能。用户可上传文件或链接，描述需要完成的任务，扣子空间会自动进行应用开发。提供探索模式和规划模式，分别适用于快速任务执行和复杂项目的深度分析。开发的Bot可发布到微信、飞书等平台，方便分享。 Manus Manus是蝴蝶效应公司推出的全球首款通用型AIAgent，专为独立思考、规划和执行复杂任务而设计。链接：https://manus.im/ 与传统AI不同，Manus不只是辅助工具，它能从任务规划到执...

2025-06-05

295

北京奕斯伟计算技术股份有限公司（以下简称“奕斯伟”）日前向港交所提交了上市申请书，计划主板上市。奕斯伟由王东升在2019年9月创办于北京，2021年启动RISC-V的AI处理硬件开发计划，2022年启动RISC-V汽车处理硬件开发计划，2023年启动高性能RISC-V研发计划，2024年正式推出RISAA生态技术平台。招股书显示，奕斯伟聚焦智能终端和具身智能两大核心应用场景，正采用新一代RISC-V计算架构，创新领域专用算法及IP模块，构建软硬件平台，为全球客户提供系统级解决方案。截至2024年底，奕斯伟实现100余款系统级解决方案商业化，服务全球100多家客户。 RISC-V是与x86与Arm架构并肩的全球三大计算架构之一。根据弗若斯特沙利文的资料，奕斯伟是截至2024年年底中国RISC-V主控量产解决方案数量最多的提供商；按2024年相关收入计，是中国第四大RISC-V主控解决方案提供商，以及中国最大的RISC-V全定制解决方案提供商。奕斯伟透露，本轮IPO所获得的资金将主要用于在智能家居、智能办公、智能便携应用场景、汽车、机器人和工业等领域和场景中开发、迭代新的智能终端解决...

2025-06-05

437

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。