Agent也能蒸馏了！性能超好

大模型运行成本高，普通用户用不起。传统小模型模仿大模型解题步骤易出错。论文提出Agent蒸馏，让小模型学会用检索和代码工具，还加首思前缀与自我纠错“外挂”，使小模型性能直逼大模型。

本周推荐的6个超级6的Github开源项目！

本文推荐6个GitHub开源项目。如WeClone用微信记录定制数字分身、支持语音克隆；Windmill将脚本转工作流和UI；Zed是高性能Rust代码编辑器；webfunny_monitor监控前端性能；Rybbit分析网站流量；Lite XL是轻量级文本编辑器。

a16z聊AI编程：别担心被取代，新玩家、新范式带来的是「很多」机会

a16z三位投资合伙人认为AI Coding是第二大AI市场，有望成最大单一市场。他们对编程未来不悲观，指出新人群与新方法或催生新软件形态，编程语言不会被取代，资深工程师仍被需要。

吴恩达来信：AI 速度带来的价值被低估了

吴恩达指出，AI 不仅能降低任务执行成本，还能显著加快执行速度，其在创造商业价值方面的重要性常被低估。以编写代码、借贷审批等为例，说明提速能带来新价值，企业应关注可提速环节带动增长。

OpenAI很看好！首个SWE-1模型发布，软件开发或将提速99%

Windsurf发布首个前沿模型SWE-1，目标将软件开发提速99%。它不只能写代码，还能协助软件工程流程。有三个系列模型，SWE-1运行成本低，SWE-1-lite对所有用户开放，SWE-1-mini适用于低延迟场景。

大模型下半场，阶跃凭什么领跑多模态之战

国内大模型竞争分资源派、技术派、国家队三阵营，多模态成竞争分水岭。阶跃星辰成立两年发22款自研基座模型，16款为多模态。其坚持理解生成一体化路线，在多模态领域有优势，还布局多应用场景。

拉 DeepSeek 和通义“组队”斗 OpenAI？小扎首届 AI 大会变“大型商战现场”，和微软 CEO 疯狂互曝！

4月30日凌晨Meta举办首届AI开发者大会LlamaCon，推出面向消费者的Meta AI聊天机器人和面向开发者的Llama API，欲扩大开源Llama模型应用范围、挑战OpenAI。扎克伯格还与微软CEO纳德拉就开源闭源生态、AI生产力等展开讨论。

仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。

AI Coding 的下一步不是写得更快，而是可验收：蚂蚁数科 Harness 工程实践

蚂蚁数字科技资深技术专家魏长征在AICon大会分享AI Coding实践。指出当前产能提升快，但验证能力可能跟不上，容易引发质量风险。介绍了Harness工程思路及在新项目和存量项目中的应用，还提及AI协作的未来挑战。

让 Coding Agent 开始「记住过去」：MemoraX Code 的长期记忆系统

过去一年，Coding Agent 改变开发者写代码方式，但进入长期开发仍会遗忘项目经验。MemoraX Code 试图解决此问题，构建了本地与云端记忆，让关键信息能被识别召回，且在赛事中表现出色，还能沉淀工程经验。