AI Signals

AI Pulse

Models, products, agents, research — read the high-signal changes in a single screen.

Daily Briefing13 itemsAsia/Shanghai
VOL.2026-09-1913 STORIESAI FOR SCIENCE DAILY

日报

2026年9月19日星期六

DAILY · 每早八时

TODAY'S SIGNALS

今日看点

  1. 01
  2. 02
  3. 03
01

模型发布/更新

Model Releases
1
02

行业动态

Industry
4
03

技巧与观点

Daily
8

逆向分析指 ZCode 登录后静默打包 Git 历史并加密上传至 Aliyun OSS

Hacker News:AI 热帖Hacker News:AI 热帖

开发者 ferstar 逆向 Z.ai 的 AI 编程桌面应用 ZCode,发现其登录后会静默把整个工作区打包(含完整 .git 历史、LFS 缓存、reflogs 和全局配置)加密上传至 Aliyun OSS,实测一次快照为 42,411 个文件、313MB,且 .git 目录占载荷的 86.6%。

Trail of Bits 用 Agent 为 Miden zkVM 审计自建 LSP、反编译器和 Lean 形式化证明

Trail of Bits:AI安全研究Trail of Bits:AI安全研究

Trail of Bits 在审计 Miden zkVM 前,让 Agent 用六个月从零构建了 MASM 的 LSP 服务器、反编译器、静态分析引擎和 Lean VM 执行器模型。这些工具发现了可让恶意 prover 伪造 Falcon 签名盗取资金的高危漏洞,静态分析定位了 400 多处类型验证缺陷,Lean 工作产出 95 个机器验证的正确性证明,还发现两个单元测试未捕获的细微 bug。

TypeSafe AI 发布只做高频决策的大模型 Jev,作者实测其分类判断性价比

公众号:数字生命卡兹克公众号:数字生命卡兹克

TypeSafe AI 推出专注高频决策的大模型 Jev,不做对话和文字生成,只输出判断,速度比传统大模型快20~200倍,成本0.042美元/百万Token且输出Token免费。作者实测预筛任务中Jev准确性第二且更便宜,在并行判断任务上达到最高准确率和最快速度;模型采用RLCD训练方法优化决策校准,可在官网 https://typesafe.ai/ 申请资格,Vercel 已首发接入。

13
今日事件
0
一手报道
1
新模型
11
信源
AI for Science · 编辑系统自动生成