⌘ K
… 读取采集状态 同步中...
雷
10月12日10月11日10月10日更早
2026 年 7 月 4 日 · 星期六每天 08:00 出刊

电商日报 · 2026 年 7 月 4 日 · 星期六

电商热点雷达

第 18 期042026 年 7 月星期六
15件大事6个来源约 6 分钟读完
01

今日必看

02

AI 电商机会

人人都是产品经理

WorkBuddy专家团提示词全曝光：多Agent协作原来是这样产品化的

WorkBuddy 的专家系统如何将复杂的 Agent 技术封装成用户友好的生产力工具？本文深度拆解其专家与专家团的设计逻辑，从提示词工程到多 Agent 协作机制，揭示 AI 产品如何实现从技术底层到用户价值的完美跃迁。 之前的一篇文章 我们拆解了Workbuddy的上下文工程，包括其系统提示词的组装，会话压缩和记忆机制，有兴趣的同学可以去看看： WorkBuddy VS 钉钉悟空 VS 字节 Aily：桌面 Agent 的工程设计 这些都是Agent底层的运行机制，模型如何思考，调用工具和管理上下文。 Workbuddy还有更上层的设计，就是 专家 和 专家团，这层设计直接面对用户，用户不需要你知道底层的提示词，有多少工具，上下文规则，只需要选择一个专家或者专家团，就可以开始干活。 这篇文章，我们就来拆解下WorkBuddy的专家和专家团，看看它们到底是什么，以及它们是如何工作的。 先给出一个核心结论： WorkBuddy的专家，就是封装好的单个Agent，Workbuddy的专家团，是封装好的多Agent协作流程： 在常规的Agent开发框架中，我们通常拥有一个Agent管理模块

原文
MarkTechPost

Mistral AI 发布 Leanstral 1.5：Apache-2.0 Lean 4 代码代理模型，解决 672 个 PutnamBench 问题中的 587 个

Today, Mistral AI released Leanstral 1.5 . It is a code agent model built for Lean 4. The release targets automated theorem proving and proof engineering. Weights are open under Apache 2.0. A free API endpoint, leanstral-1-5 , is now live. Leanstral 1.5 updates the earlier Leanstral-2603 model. It belongs to the Mistral Small 4 family. What is Leanstral 1.5 Leanstral 1.5 is a code agent model for Lean 4 , a proof assistant. A proof assistant checks every logical step mechanically. Lean 4 can exp

原文
The Decoder

微软通过彻底改革的 Copilot 和 AutoPilot 代理追随 Anthropic 和 OpenAI 进入人工智能超级应用竞赛

Microsoft reportedly plans to merge its consumer and enterprise Copilot apps into a single app in August. Rarely used features like Copilot Podcasts are getting cut, and new AI agents called "AutoPilot" will handle tasks in the background for an extra fee. The article Microsoft follows Anthropic and OpenAI into the AI super app race with overhauled Copilot and AutoPilot agents appeared first on The Decoder .

原文
03

运营动作建议

04

观察信号

The Decoder

英国人工智能安全研究所发现标准基准系统性地低估了人工智能代理的实际能力

In a study covering seven benchmarks, the UK's AI Security Institute shows that standard AI evaluations systematically underestimate agent capabilities by capping the compute budget. On software engineering tasks, success rates jumped about 25 percent when the token budget was increased tenfold. Newer models benefit the most. Depending on the token budget, actual progress at the frontier is about 60 percent steeper than previous measurements suggested, according to AISI. The article UK's AI Secu

原文
（本期完）

电商热点雷达 日报由编辑系统根据公开来源自动编辑，每条均附原文 · 日报合订本