Axios 报道 Google 用 AI 辅助验证 Signal 的加密代码
Axios 报道 DeepMind 利用 Gemini 4 Carbon 驱动的代理验证 Signal 加密实现的关键性质，并讨论软件安全验证的应用前景。
全部 AI
Axios 
Google DeepMindDeepMind 公布 AlphaProof Code 对 Signal 核心代码的验证
团队用人工审核的规格和多智能体生成证明，再由 Lean 检查，验证了 Signal 参考实现的若干关键安全性质。
Ringle 现场研究 · 论文作者精选Ringle 用真实课节给线上英语导师做教学复盘
研究团队用 AI 分析实际辅导课的对话，给导师本人提供教学反馈，并调查了 36 位导师的使用体验。研究关注导师改进，未衡量学员学习结果。
业务怎么用抽一批有授权的脱敏课节，请教研对照原课核查反馈是否准确、建议能否操作，再请老师选一个动作在下一节课试用。
- 阿里巴巴客服现场实验 · 研究作者精选
阿里客服现场实验：AI 给草稿，客服决定怎么回复
研究预印本报告了阿里客服现场实验，工具提出问题判断和可编辑回复，由客服决定采用、修改或拒绝。结果来自实验环境，不宜外推到所有店铺。
业务怎么用按商品咨询、退换货和复杂投诉分别比对人工组与 AI 辅助组，除了首次响应时间，同时核对重复进线和质检结果。
- Retail Robot Deployment · 论文作者精选
零售门店实地实验同时观察顾客行为和员工反馈
研究团队在零售环境试部署机器人，同时收集可量化数据与参与者反馈，用于理解顾客和员工实际怎样使用。作为海外门店实验参考。
业务怎么用试点门店助手时同时看顾客是否走完流程，以及员工在哪一步接管、返工或需要额外解释。