Pablo早报

2026-09-19

AI 科技早报 · 2026-09-19

今日要闻

1. 🔥 NYT 诉 OpenAI 案新解封文件：微软高管私下称 AI 抓取是"人类历史上最大规模的劳动盗窃"，OpenAI 高层自认对出版商构成"生存威胁"

TechCrunch 9/17 报道（816 分、710 条评论登上 HN）：《纽约时报》诉 OpenAI/Microsoft 版权案的最新解封文件披露，微软一位高管私下将两家公司的 AI 训练数据抓取行为称为"盗窃"，OpenAI 自己的领导层也承认其 AI 模型对"以作品训练它们的出版商与记者"构成"生存威胁"。 解封文件还显示两家公司涉嫌绕过付费墙（paywall）未被察觉地抓取内容、构建训练数据集，并内部警告这将"掏空出版商"。Ars Technica 同步报道（53 分）：微软应用科学总监 Brent Hecht 曾在内部文件中反复警告，AI 产品可能让新闻机构陷入"死亡螺旋（doom loop）"。

关键细节：

— 来源：TechCrunch | Ars Technica | HN | HN

2. 🔥 研究人员用 Claude 辅助"黑进 OpenAI"：libheif 堆溢出 + SSO 配置缺陷，拿下多名员工账号与内部仓库

安全公司 Hacktron 9 月 13 日发布完整技术报告（458 分、193 条评论登上 HN）：7 月 25 日串联两个高危漏洞，攻破多名 OpenAI 员工的 ChatGPT/Codex 账号，进而触达 OpenAI 内部仓库——并用员工的 Codex 在内部 monorepo openai/openai 打开了一条无害的 PoC PR。 Guardian 9/18 报道（11 分）：这次"伦理黑客"行动全程得到 Anthropic Claude 的辅助，研究人员称"理论上可访问的范围巨大——包括 GitHub、Slack 与邮件"。

关键细节：

— 来源：Hacktron | The Guardian | HN | HN

3. 🔥 Bend：用"法则 + 证明"堵住 AI 编码错误的新语言——发布即引来《Vibe-Coding 陷阱》逐条批判

9/17-18 两天两条相关热帖：新语言 Bend 上线（587 分、300 条评论登上 HN），定位是"AI 时代的语言"——人类写 LAWS.bend 声明法则（laws），AI 写实现与证明，编译器用证明检查器验证，主打"C 语言速度、CUDA 并行、Lean 证明、Python 语法"；紧接着 Liam Powell 发表《Bend 2 与 Vibe-Coding 陷阱》（300 分、226 条评论），指 Bend 自身就落入了它声称要解决的陷阱。 Bend 的设计：类型检查器即证明检查器（与 Lean/Rocq 同类），但单次检查约 1 秒（同类工具在中型代码库上需数分钟），让 AI 代理可以在每次改动后即时验证；并行模型无需线程/锁/内核，官方演示的 pow2 程序可跑在 4,096 个 GPU 核上。

关键细节：

— 来源：Bend | Liam Powell | HN | HN

模型与基础设施

4. Bonsai 2 27B：三值量化把 27B 多模态模型压到 5.9GB——保留 98.2% 基准性能、9 倍更小

PrismML 9/17 发布 Ternary Bonsai 2 27B（555 分、185 条评论登上 HN）：基于 Qwen3.8 27B，全模型使用三值 {−1, 0, +1} 权重 + FP16 分组缩放，等效 1.76 bits/权重，总占用 5.9GB——对比全精度版本缩小 9 倍以上，聚合基准性能保留 98.2%。 支持 262K token 上下文与图文多模态输入，Apache 2.0 开源。官方称推理、代码、视觉与 agentic 能力相比上一代 Bonsai 27B 全面增强。

关键细节：

— 来源：PrismML | HN

5. zartbot 万字深挖 DeepSeek V4.1 Flash 技术报告：KV cache 被压到每 token 890 字节——"这该叫 V5 Flash"

独立技术博客 zartbot 9/17 发布对 DeepSeek-V4.1 Flash 技术报告的深度解析（127 分登上 HN）：拆解 CED、CSA2、HSI、Single-Pass mHC、Engram 与 FP4 KV cache 六项机制，算出 KV cache 被压缩至每 token 约 890 字节，实测接近 420 tokens/s。 作者直言"起初以为只是后训练迭代版，读完技术报告后觉得它该叫 DeepSeek-V5 Flash"。这是对 9/11 早报已报道的 V4.1 Flash 发布（883 分）的首次系统性第三方架构分析。

关键细节：

— 来源：zartbot | HN

AI 应用与产品

6. Thomas Ptacek《如何与 LLM 一起写作》：两条规则防止"倒膜味"——"不用它建议的任何一个词，不让它鼓励你"

9/17 Thomas Ptacek（sockpuppet.org）发表《How To Write With An LLM》（306 分、211 条评论登上 HN）：两条规则让 LLM 为你的写作提速而不把它"巴氏杀菌"成流水线味——规则一：绝不用 LLM 建议的任何词；规则二：绝不让它鼓励你。然后把所有枯燥的活交给它。 核心判断：读者能在万亿分之一（parts per trillion）的浓度下嗅出 LLM 词汇——"无论你花多少力气打磨人味，LLM 段落对读者来说不是写作，而是输出"。

关键细节：

— 来源：sockpuppet.org | HN

7. ZCode 被扒出静默上传 Git 历史：GLM 官方编码代理打包整个工作区传阿里云 OSS，界面开关根本拦不住

开发者 ferstar 9/18 发布对 ZCode（智谱 Z.ai 的 GLM 官方桌面编码代理）的反向工程分析（257 分、13 条评论登上 HN）：应用在登录状态下会静默打包用户整个工作区——完整 .git 历史、LFS 缓存、reflogs、全局应用配置——上传至阿里云 OSS，且加密密钥只掌握在 Z.ai 手里（"Z.ai holds the only key"）。 界面上的隐私开关并不会阻止上传，隐私政策中也未提及此行为。

关键细节：

— 来源：Tokenstead | HN

研究与突破

8. Dan Abramov 用 LLM"vibe"出 Conway 猜想证明：一个月、一堆 token，Lean 证明通过 Palomar 机械检查

9/18 Dan Abramov（React 联合创始人）发布《How I Vibed a Proof of Conway's Conjecture》（168 分、159 条评论登上 HN）：用整整一个月业余时间和大量 token，让前沿模型产出了 John Conway 50 年前提出的精化猜想（refinement conjecture）的 Lean 证明。 该猜想关于超现实数（surreal numbers）中全体整数（omnific integers）的精化性质：若 ab=cd，则存在 e,f,g,h 使 a=ef、b=gh、c=eg、d=fh。证明已通过 Palomar 注册表的机械检查，但尚未经数学家独立复核。

关键细节：

— 来源：overreacted.io | HN

政策与社会

9. CNN 独家：美军险因 AI 幻觉情报拦截中国船只——报告"完全虚假"，"差点引发战争"

CNN 9/18 独家报道（272 分、215 条评论登上 HN）：今年春天美伊战争期间，一份在美国军方流传的情报称"中东海域的中国船只正在运送核武器项目组件"，美军据此制定拦截计划——武装人员准备登船、军机已经升空——行动前最后一刻，官员深挖后发现报告由特种作战司令部的一名分析师用 AI 聊天机器人辅助生成，机器人对船上货物的识别完全错误。 知情人士称报告"完全虚假"，"差点引发战争"；对任何中国船只的行动都可能升级为两国间的武装冲突。

关键细节：

— 来源：CNN | HN

10. 美国第二巡回上诉法院裁定：边境官员可无证、无合理怀疑搜查旅客手机——直接突破 Riley 先例的边界

Law & Crime 9/18 报道（99 分、64 条评论登上 HN）：美国第二巡回上诉法院周四裁定，政府边境官员搜查入境旅客手机无需搜查令、也无需合理怀疑（reasonable suspicion）——明确推翻了初审法院"需要合理怀疑"的论证，并以 43 页判决书为"边境搜查例外"划出更宽的边界。 案件源于绿卡持有人 Chinwendu Alisigwe（2023 年金融犯罪定罪）的上诉：DHS/CBP 官员翻查其手机并拍照取证，他主张第四修正案权利被侵犯。

关键细节：

— 来源：Law & Crime | HN

本简报全部 13 条 HN 讨论链接均直接取自 Firebase API 并经逐条核对存在，来源 URL 已批量 HTTP 验证（12×200；Law & Crime 为 403 反爬墙，内容经 TinyFish 渲染抓取确认）。

← 返回首页