每天几分钟，看懂 AI 的重要变化

TypeSafe AI 与 Treg 发布由 Jev 驱动的开源人物搜索工具

TypeSafe AI 与 Treg 发布了一款开源人物搜索工具，使用 Jev 筛选候选人，并可连接 Claude Code 和 Codex 等智能体。Treg 表示，邮箱发现服务起价为 $0.0089，搜索失败不收费；验证和信息补充需额外付费。在一项涉及 292 人的对比中，Treg 报告称以 $1.49 找到 264 个完全匹配的邮箱，而 Clay 花费 $10.34 找到 262 个。文章还提到一位用户很难找到关于自己或队友的有意义信息。

1. 01 · Simon Willison

   Parameter Labs 如何利用 ChatGPT HTML 预览访问私人账户数据

   Simon Willison 报道，Parameter Labs 发现了一条漏洞利用链：攻击者可通过 ChatGPT 分享链接窃取私人数据，或代表访问该链接的另一位已登录用户执行操作。这种攻击结合了 MathLive 消息处理、HTML 注入、未启用沙箱的 iframe，以及 YouTube 的 oEmbed 端点；尽管 OpenAI 设置了 CSP 限制，攻击者仍能执行 JavaScript。OpenAI 修复了该漏洞并支付了 $5,000 的漏洞赏金，Willison 认为这对该漏洞的严重程度来说偏低。

2. 02 · 量子位

   清华研究人员推出用于探索与形式化证明的代数世界模型

   由 Andrew Yao 和 Yang Yuan 领导的清华研究团队推出了代数世界模型（AWM），该模型将观察结果转化为可执行的 Python 假设，逐步完善抽象规则，并使用 Lean 4 将论断形式化。文章称，AWM 完成了 ARC-AGI-3 的全部 183 个关卡，得分为 99.9%，平均动作数为人类基准的 43%，并证明了一个经过修改的关卡无法在规定步数内完成。这些证明是否成立，取决于探索过程是否捕捉到了相关规则。

3. 03 · 雷锋网

   Pika 发布 H3 Flex，只需六步即可联合生成音频和视频

   Pika 发布了 Pika H3 Flex，这是一款基于 MiniMax H3 衍生而来的模型，并提供适配器权重和推理代码，只需六个去噪步骤即可联合生成音频和视频。它支持文本、首帧和尾帧以及多模态参考，可生成约 5 至 15 秒、分辨率为 480P 或 768P 的视频，并配有同步立体声音频。ComfyUI 工作流和 Hugging Face Diffusers 集成支持本地使用；Pika 的 API 则提供 1080P、2K 和 4K 增强，以及将音频拆分为五个音轨。