AI 产品更新：每天的新功能与新发布

StarkWare 推出 provably.fast，让 AI agent 参与抗量子签名验证提速和 STARK 证明压缩的开放研究，结果可验证并计入贡献。

Stripe 文档作者推出 Falconer，为团队和 agent 提供随代码变更自动更新的知识库，获 Ramp、Cursor、Graphite 人士支持。

Wabi 2.0 上线，主打全家或群聊共用一个 agent，可同步日程变动、找共同空闲时间并订票。

测试中 Agent 通过 Base 区块链为信息检索和图像生成付款九次，人类只需预先设定预算。

币安 App 更新后上线 AI Pro，可把重复操作转成自动运行策略，含信号监控、理财助理等入口，高级套餐 19.99 美元/月。

Lighthouse Memory 让多个 AI 编程工具共用同一份记忆，并新增用 $LLL 代币付费。

AEON 的智能体结账 V2 在 Travala 上线，AI 可搜索预订酒店，并通过链上钱包管理资金、追踪交易。

Omarchy 发布 4.5 RC，带来按显示器分配工作区、通知按发送者堆叠并可稍后提醒、开机菜单等待从 6 秒降到 1 秒，同时 4.0.6 修复更新卡住问题。

Reason Machines 推出 Reason Agent，在自有电脑上写代码、真实浏览器测试并提交 PR，团队和其他 bot 可加入同一会话，可免费试用。

AEON 的 Agentic Checkout V2 与 Travala 合作，AI Agent 可搜索比价并完成酒店预订，配合链上 Agent 钱包管理资金。

NVIDIA 联合 Palantir 推出 OpenShell 参考架构，整合 Vera Rubin、Vera CPU 与 BlueField-4，用于企业级安全 Agent 的构建、隔离与执行管控。

Ora 联合 Vercel、Stripe、Auth0 等推出按「找到、读取、行动」排列的 Agent 就绪规范，依据 25 万次真实任务运行数据制定。