BridgeXLearning

AI 日报

AIHOT 每日报告 · 本地不可变归档

日报来自 AIHOT,每天 08:00(上海时区)发布并归档;历史报告不可变。AI 摘要未经 BridgeX 编辑审核,重要数字与原话请核对原文。

VOL.2026.09.1913 条摘要生成于 2026/09/19查看 AIHOT 日报页 ↗

01模型发布/更新

02行业动态

纽约时报版权诉讼披露:微软高管内部称训练 AI 是人类历史上最大规模劳动窃取

《纽约时报》在起诉微软和 OpenAI 的版权案中申请简易判决并提交新法律摘要,披露两家公司内部材料。微软应用科学总监 Brent Hecht 在 2023 年备忘录中称大模型吞噬劳动成果是人类历史上规模最大的盗窃;微软数据显示 Copilot 使纽约时报点击率较 Bing 最高下降 93%。

来源:IT之家(RSS)核对原文 ↗AIHOT 详情 ↗

03技巧与观点

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

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

来源:Trail of Bits:AI安全研究核对原文 ↗AIHOT 详情 ↗
TypeSafe AI 发布只做高频决策的大模型 Jev,作者实测其分类判断性价比

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

来源:公众号:数字生命卡兹克核对原文 ↗AIHOT 详情 ↗