首页 / Agent 用例 · 2026-10-24
Agent 用例日报(2026-10-24)
- 抓取日期:2026-10-24(Asia/Shanghai)
- 来源批次:Fri, Oct 23(站内标注 16 new)
- 本日新增总数:16
- 详录条数:15
- 其他条数:1
注:页面抓不到站内星数("I want this" 投票数),按列表原有排序取前 15 条详录。
Formally verify software at large scale with Claude
Claude 形式化验证 代码安全
- 简介:Anthropic Frontier Red Team 用 Claude 做大规模形式化验证:把 OSS-Fuzz 模糊测试转成规格(编译后的 RISC-V 二进制在小于 64MB 的任意输入下不崩溃),用 Theorem 的 RISC-V/Linux 语义让 Claude 写 Rocq 证明并由证明检查器验证;证明过程中发现 bug 时 Claude 修代码、规格重生成后继续;补丁被扣分并审计防 reward hacking。
- 效果如何:数周内对 123 个库、239 个入口点证明了 no-crash,约 1.8 亿行 Rocq,还顺手找出数百个 bug。局限:只覆盖单线程静态 RISC-V 二进制;单个证明可耗费数亿 token,36 个任务的测试里能复用彼此证明的 agent 省了 17% token。
- 链接:https://agentusecases.ai/use-case/formally-verify-software-at-large-scale-with-claude
Find and test promo codes before checkout
ChatGPT 省钱 比价
Find and test discount codes with ChatGPT agent mode
ChatGPT Agent 省钱 比价
Handle post-meeting follow-ups automatically
Zapier 会议跟进 自动化
Auto-handle dealership customer SMS support
Make 客服 短信
Automate technical blog post production
Make 内容生产 博客
Screen job candidates and run outreach automatically
Make 招聘 简历筛选
Build budget modeling tools with a workplace agent
WorkBuddy 财务预算 企业
Prep meetings and schedule via an email/CRM agent
Lindy 会议准备 日程
Let an agent make purchases from a pre-funded balance
购物 支付 自动化
Book dinner reservations and reach out to influencers
ChatGPT Agent 生活服务 营销
Plan birthday and virtual office parties
ChatGPT 生活服务
Run sales workflows directly in the CRM with agents
CRM 销售 获客
- 简介:评论者描述几种做法:一个团队从 HubSpot workflow 调 GPT、在 agent 间传递资质信息;另一个让 agent 接 inbound WhatsApp 线索,自动建 HubSpot 线索、记笔记、记会议,通过 API/webhook/cron 设提醒;还有把 CRM 访问和 LinkedIn/调研工具配对,用网站行为、历史对话、业务信号起草更精准的跟进,人仍负责关系和纠偏。
- 效果如何:结果混杂但偏正向:一条说 inbound 转化 +5.73%、沉睡线索复活 +2%/月,另一条说 demo 预约涨约 30%,也有说主要收益是省时间和跟进更稳定。短板:单向集成弱、CRM 更新噪音大、ICP/playbook 没定好时触达很 generic。经验是先收窄范围再迭代。
- 链接:https://agentusecases.ai/use-case/run-sales-workflows-directly-in-the-crm-with-agents
Write follow-ups and update CRM deals from the inbox
CRM 销售 邮件
Qualify leads and book calls via WhatsApp or voice
销售 线索 WhatsApp
其他