--digest

POCHE DIGEST

Anthropic 公布可证明推理系统 FlashProve 的进展

Anthropic 研究团队介绍了可证明推理(provable inference)的进展,核心是基于 zkSNARK 的系统 FlashProve,使模型提供方能够承诺某个模型,并证明每次回复确由该模型生成。据其披露,在 Llama 4 Maverick(400B 参数混合专家模型)上,单张 H100 在 4-bit 量化权重、预填充使用整数运算的条件下,约以每秒 110 个 token 的速度生成证明,每个 1024 token 请求的证明约 19 MB,GPU 耗时约为 vLLM 直接运行模型的 70 至 95 倍。项目还以 Lean 形式化验证顶层安全保证,并以 Apache 2.0 许可发布代码、Lean 证明和技术报告。

币安称 10 月 29 日发生一起复杂的安全事件,攻击者利用未经授权访问的内部钱包签名服务,绕过正常提现流程,使多个热钱包向攻击者地址转出 XRP、SOL、OP、BTC 和 ETH 等资产。币安称约 63.4 亿美元数字资产受影响,截至更新时约 28.5 亿美元已被冻结或拦截,受影响代币资产中 98% 已补足。攻击者还利用以太坊 EIP-7702 授权机制,使攻击者控制的合约获得部分热钱包执行权限;由于热钱包采用 MPC 架构,撤销这些链上授权需要专门流程,延长了处置时间。

Every Agent 是运行在 Slack 中的 AI 工作者,面向工作量超过人手的团队,可在各部门协助日常工作,并帮助团队逐步转向 AI 原生的工作方式。页面展示了它在营销、财务、运营、工程、销售、人力、设计和客服等场景中的用例,例如起草付费订阅者邮件并交由人工审批后再发送、整理 Stripe 争议案件的证据材料、记录休假并请求审批、每日汇总前一天合并的产品 PR 等。

Prosaic Intelligence 发布 Suicide Memory Bench,包含四项基准,测试 AI 系统在单次对话或多次对话中对明确自杀表述及自杀危机综合征(SCS)征兆的回应。基准与 22 名临床医生合作开发,每项基准通过 128 个虚构人物、29 次对话和一个最终问题构成 512 个案例,共评估 16 个 AI 系统。结果显示,在单次对话的明确自杀表述场景中,62.8% 的回复未达到安全规则要求,在多次对话场景中该比例升至 95.3%;在 SCS 征兆场景中,两者分别为 91.5% 和 99.6%。在 Codex 系统中,即使五条明确自杀表述已存入记忆,仍有 40% 的实例得到最低安全分。

Apple 宣布从 iOS 27.3、iPadOS 27.3、macOS 27.3 和 visionOS 27.3 测试版起推出开发者预览,任何开发者可通过 App Intents 将应用接入 Siri AI。Siri AI 支持个人上下文理解、屏幕感知和自然语言,开发者还可通过 skills 将多个操作组合为单一体验,Spotlight 语义索引中的任意实体也可被呈现。Apple 表示,应用正式向用户推出预计在数月后,提交 App Store 的通道将于春季开放。

Cloudflare Radar 的 Zero Wire 栏目列出当前需要安全团队关注的多项漏洞与威胁。其中包括 Linux IPv4 TCP 连接处理中的竞争条件导致的释放后重用漏洞 CVE-2026-98432,可在应用认证前被远程触发,研究人员已演示针对 MPTCP 监听器的 root 命令执行。PHP 运行时的 CVE-2026-109618 和 CVE-2026-109619 已被 CISA 列为已知被利用,另一相关问题 CVE-2026-115560 则取决于会话配置。Citrix NetScaler ADC 与 Gateway 的未认证命令执行漏洞 CVE-2026-88771 也已在未缓解部署上出现利用。

Claude Platform 的 message threads 功能进入公开测试,代理无需在每轮请求中重新发送完整对话历史,只需发送新增消息和上一条响应的 ID。该功能在多数 Claude Code 用户中默认开启后,500k 至 1M token 请求的中位首 token 时间(TTFT)下降约 35%。线程在最后一次请求 5 分钟后过期,保存于内存中并加密,不写入磁盘;token 用量保持不变。官方称其适用于长时间运行的编码代理、计算机使用代理以及文档和图片较多的工作流。

PostHog 工程师介绍了其数据仓库产品的第二次重构。最初基于 DuckDB 的单节点方案在云端难以预测查询资源需求,而 DuckLake 在约 2 PB、约 1 万亿行数据和 1530 万个快照的规模下出现了写入变慢和元数据膨胀等问题。团队还发现通过 Postgres 协议(5432 端口)直接连接难以大规模扩展,因此转向基于 Trino 的自研版本,并创建了开放表格式 HogLake。文章称新系统先在 PostHog 自身的 PB 级数据上测试,之后再交给设计合作伙伴。

端传媒转载《华尔街日报》记者的报道,记者前往云南大理,探访被称为“大理福尼亚”的小城及其“青年养老院”等聚集地。许多在大理漂泊的年轻人原本为逃离“内卷”而来,如今却已厌倦无所事事的日子,希望重返职场。报道以此切入,讨论中国年轻人的幻灭感以及官方对“躺平”潮流的担忧。

Sendoff 是一款可自托管的邮件通讯工具,可接入 Claude 或 Codex,由智能体撰写和修改期刊内容,并通过 React Email 渲染排版。它运行在用户自己的 Cloudflare 账户中,通过 Amazon SES 发送,发送前会检查 DKIM、自定义 MAIL FROM 和 DMARC 等配置。官方给出的成本对比显示,以 10,000 名订阅者、每周一期计算,Sendoff 的年费用约为 108 美元,低于所对比的付费服务约 960 美元的年费。