应用与工具
新工具、新功能，以及它们能帮你完成什么。
千问 AI 眼镜新增通话与媒体翻译
据 IT之家11月1日报道，千问 AI 眼镜当日通过无线系统更新新增通话翻译和媒体翻译。已有眼镜用户可在电话、线上会议中使用实时翻译，也可用于外语播客、网课和影视内容；千问 AI 穿戴 App 同步显示译文。
此次还优化了嘈杂环境中的语音识别，目标是改善同声传译的准确性与及时性。这是现有产品的功能升级。
Jev 与 Treg 串联人员搜索、筛选和邮箱查询
量子位11月1日报道，TypeSafe AI 联合 Treg 开源人员检索工具，面向招聘、企业拓客与人物研究。用户将 Treg 接入 Claude Code、Codex 等智能体后，可用自然语言描述地区、行业与职位条件；Jev 负责筛选匹配对象，Treg 调用数据库及邮箱工具补全信息。
据报道，用户可提供已有供应商密钥，此类调用不走 Treg 计费；也可由 Treg 代为调用，从预付余额按次扣费。按其报价，查找一个邮箱最低0.0089美元，未找到不收费；邮箱验证、履历补全等另计，新用户有1美元测试额度。
Treg 公布的 People Search Bench 包含119项任务，其中企业拓客任务正确率从 Claude Code 单独使用时的43%提高至接入后的78.2%。这是该方评测结果，不能视为任意人员检索的成功率。
单次查邮箱的起价不等于一份完整名单的成本。评估时应把候选人搜索、资料补全与邮箱验证分别计入，并检查名单是否符合实际需求。
技术与开发
模型、API、开源与工程实践，关注能力和使用边界。
AWM 将游戏探索转为可检查的规则与证明
量子位11月1日介绍，清华姚期智、袁洋团队提出代数世界模型 AWM，探索让 AI 从交互中建立规则，再验证任务是否可完成。流程包括生成可执行的 Python 假设、用新观察修正规律，以及转成 Lean 4 形式化断言；Lean 4 是可由机器检查数学证明的工具。
报道中的一项实验把游戏关卡步数设为低于通关所需。基于 Opus 5.5 的 AWM 尝试两次后，证明当前条件无解，并判断增加一步即可获胜。结果对应特定游戏实验；证明依赖已观察和建模的规则，遗漏规则时不能保证覆盖完整环境。
对智能体开发的启发在于，把“尝试失败”与“证明条件不足”区分开。形式化检查能验证推理，但前提仍是模型正确掌握了环境规则。
多家模型厂商推进统一的网站训练偏好信号
OpenAI 10月30日表示，将遵守共享的 robots.txt 信号，帮助网站向参与服务商表达 AI 训练偏好。robots.txt 是网站告知爬虫访问规则的文件；该机制旨在减少网站为不同 AI 企业逐一配置训练偏好的工作。
据 IT之家11月1日报道，这项方案已提交互联网工程任务组。Anthropic 已率先采纳，OpenAI 计划在未来几个月落实，谷歌和微软预计于2027年支持。各家仍处于不同实施阶段。
网站运营者可关注统一信号的支持进度。它表达的是训练使用偏好，其作用取决于参与方遵守，不能理解为阻止所有爬虫访问的技术屏障。
AFTER READING
读完之后
本期重点是翻译与人员检索的实用更新，以及模型推理和网站训练偏好机制的新进展。
评论