TypeSafe AI 与 Treg 发布由 Jev 驱动的开源人物搜索工具
TypeSafe AI 与 Treg 发布了一款开源人物搜索工具，使用 Jev 筛选候选人，并可连接 Claude Code 和 Codex 等智能体。Treg 表示，邮箱发现服务起价为 $0.0089，搜索失败不收费；验证和信息补充需额外付费。在一项涉及 292 人的对比中，Treg 报告称以 $1.49 找到 264 个完全匹配的邮箱，而 Clay 花费 $10.34 找到 262 个。文章还提到一位用户很难找到关于自己或队友的有意义信息。
模型发布与更新
Pika 发布 H3 Flex，只需六步即可联合生成音频和视频
Pika 发布了 Pika H3 Flex，这是一款基于 MiniMax H3 衍生而来的模型，并提供适配器权重和推理代码，只需六个去噪步骤即可联合生成音频和视频。它支持文本、首帧和尾帧以及多模态参考，可生成约 5 至 15 秒、分辨率为 480P 或 768P 的视频，并配有同步立体声音频。ComfyUI 工作流和 Hugging Face Diffusers 集成支持本地使用；Pika 的 API 则提供 1080P、2K 和 4K 增强，以及将音频拆分为五个音轨。
产品发布与更新
Aravind Srinivas · XComputer，展示跨越 4 亿年的地球 https://twitter.com/askperplexity/status/2116968632890839141
Aravind Srinivas 分享了 @AskPerplexity 的演示：Computer 构建了一个涵盖地球 45 亿年历史的交互式地球仪，使用了 14 个开放数据集，并通过自有引擎在 109 张古地形海拔图上移动 258 个板块。 用户可以拖动时间轴或输入城市，查看该地点 4 亿年前的位置。 https://deeptime.pplx.app/
研究
清华研究人员推出用于探索与形式化证明的代数世界模型
由 Andrew Yao 和 Yang Yuan 领导的清华研究团队推出了代数世界模型（AWM），该模型将观察结果转化为可执行的 Python 假设，逐步完善抽象规则，并使用 Lean 4 将论断形式化。文章称，AWM 完成了 ARC-AGI-3 的全部 183 个关卡，得分为 99.9%，平均动作数为人类基准的 43%，并证明了一个经过修改的关卡无法在规定步数内完成。这些证明是否成立，取决于探索过程是否捕捉到了相关规则。
技巧与观点
Andrej Karpathy · X
Andrej Karpathy 推出 HackerTube，汇集 Hacker News 上反复推荐的视频
周末小项目：HackerTube。Andrej Karpathy 对 YouTube 的推荐感到厌烦，于是让 Claude 筛选 Hacker News 过去 20 年的 4300 万条评论，找出其中反复被推荐的 6,454 个视频。他称这带来了显著更好的观看体验，整个项目用 Opus 5.5 花了约 2 小时完成： https://t.co/xULTGY6VhH - 很棒 https://t.co/QRq80bJo4o
明早 08:00 把这样一份日报发到你邮箱
和上面这份一样：几件值得看的事。免费，点确认信之后才会开始发送，每封信都能一键退订。 看一份往期日报 · 2026-11-01