今日速览

2026年9月18日 · 星期五

• 垂直场景开战：OpenAI 推 Astra for Law（GPT‑6 Astra + 法律检索与控件），面向律所与 Harvey/Legora 等 API；讨论焦点是幻觉、不同法域经济模型，以及「助手放大人」还是「洪水诉讼」。
• 推理基建两条线：智谱/Z.ai 称在逾 10 万国产加速器上从零搭出 GLM‑5.3‑Flash 生产推理（Infra Agent 助攻，约两周、吞吐约 3×）；Uber 用「错误所有权」把重试风暴半径从约 25 压到约 3。
• 本地与隐私：PrismML Ternary Bonsai 2 27B 以约 1.76 bit/权、约 5.9GB 体积宣称保留基准约 98%；Hister 把你访问过的页面与本地文件做成私有搜索。
• Agent 工具链与供应链：Bend 用定律+证明卡住 vibe coding；GitLab.com 收紧未认证限流；Plugin4Shell 指出四大编程代理的 SHA pinning 可被绕过、零点击 RCE。
• 产品判断与市场信号：一篇写「最重要的是不做什么」；富士通 MONAKA（Armv9、约 144 核、11 月起售）打主权 AI 服务器叙事。

OpenAI 推出面向法律的 Astra for Law

把最强模型配成法律工作底座：法律检索索引、工作流与隐私控件；Harvey、Legora 等可走 API 接入。

垂直 AI 要争的是「进工作流的默认位」，不是再发一张法律基准榜。

GLM：在十万级国产卡上自建推理基建

Z.ai 写 GLM‑5.3‑Flash 如何在逾 10 万国产加速器上从零做出生产推理；Infra Agent 参与优化，约两周吞吐约提升 3 倍。

出口管制逼出的软件栈，正在变成和芯片同等重要的产品能力。

Hister：给你访问过的页和本地文件做私有搜索

Searx 作者新作：个人搜索引擎，索引你浏览过的页面与本地文件，数据留在本机。

元搜索解决不了「我昨天到底看过哪页」——私有索引才对症。

Bend：用证明卡住 AI 写代码的错误

新语言卖点：近 C 速度、可上 GPU 并行，语法偏 Python；用定律（laws）与证明拦住 vibe coding 的坑。

人不再逐行读代码时，需要的是可检查的意图，不是更长的自然语言提示。

Bonsai 2 27B：三值压缩到约九分之一体积

PrismML 基于 Qwen3.8 27B 做 Ternary Bonsai 2：约 1.76 bit/权、约 5.9GB，宣称聚合基准保留约 98.2%。

压缩要赢的是「能部署的地方变多」，不是再报一个更小的比特数。

GitLab.com 收紧速率限制

未认证约 60 次/小时/IP；免费计划约 5000 次/小时——博客把爬虫与自动化流量推回认证轨道。

Agent 若靠未登录狂刷 API，平台会先改限流，再谈你的产品体验。

Plugin4Shell：四大编程代理的零点击 RCE

Air Security 称 Claude Code、Codex、Copilot、Gemini CLI 的插件 SHA pinning 可被绕过，恶意更新可静默落地。

插件市场的「钉住 commit」若验不到工作区真实 HEAD，钉等于没钉。

最重要的产品决策是不做什么

作者以消费金融 App 为例：拒绝「文档中心」和「通知中心」这类组织甩锅型功能，逼团队回到真正的用户问题。

功能列表很热闹时，先问：这是在帮用户，还是在帮内部系统甩锅？

蜡马达：靠石蜡胀缩驱动的小执行器

维基词条介绍 wax motor：加热石蜡膨胀做功，常见于温控阀、家电与航天机构。

没有电机的「慢而稳」执行，有时比快伺服更合适。

富士通发布国产次世代 CPU MONAKA

宣称日本设计的 2nm 级 3D 堆叠 Arm 服务器 CPU，约 144 核，2026 年 11 月起全球销售芯片与服务器，主打主权 AI 推理。

主权 AI 叙事下，CPU 卖的是供应链可追溯，不只是跑分。

日本百岁人口突破十万

BBC：日本 100 岁及以上人口超过 10 万，老龄化「安静的紧急状态」再被提起。

人口结构是比任何风口都硬的产品约束。

Flet 1.0：用 Python 写跨端应用

一套 Python 代码打 web/桌面/移动；宣称无需前端经验；社区指其基于 Flutter。

Python 能出 UI 了，不等于你的包体和蓝牙能力也齐了。

西班牙发现梁龙化石，打破「只产美洲」印象

研究称伊比利亚出现约 1.5 亿年前的 Diplodocus 类群，暗示晚侏罗纪跨大陆分布。

教科书分布区，常被一块新骨头改写。

CrowdSec 承认私有源码曾泄露

9 月获报：2026 年 5 月私有仓库暴露；开源引擎本就公开，SaaS 控制台等私有部分在范围内。

安全公司被供应链打穿，教训和它卖的产品是同一类问题。

无限参数 LLM：从在线数据生成并适配权重

论文设想突破静态预训练：在部署期用交互中的事实与纠正生成/适配权重，而非只靠固定参数库。

在线学习若能进生产，隐私、归因与稳定性会一起变成产品问题。

航天飞机着陆：一架「难飞」的飞行器

飞行员视角回顾 Shuttle 进近与着陆——能量管理严格，手感与常规飞机不同。

无动力滑翔着陆，容错写在程序里，不写在油门上。

如何避免数学退回「中世纪保密」

MathOverflow 提问：AI 时代数学成果会不会要么洪水泛滥无法消化，要么全部秘而不宣。

开放与消化能力要一起设计，只喊「多发论文」不够。

Gowers：我为何不签菲尔兹奖得主联名信

Timothy Gowers（与陶哲轩博客同步）解释对 AI 与数学未来联名信的保留：洪水结果也可能增加被真正消化的部分。

关键不是「AI 会不会做数学」，而是「人类专家池如何证明自己仍有价值」。

Uber：用「错误所有权」挡住重试风暴

在共享中间件里区分「谁造成错误」：只让真正的错误所有者重试，避免深依赖链指数放大。

重试预算不够时，要靠「谁有资格重试」来削峰。

台积电披露下一代 A14 制程细节

IEDM 2026 议题：A14 CMOS NanoFlex Pro，第二代 nanosheet，面向 HPC/AI 与手机 SoC。

节点名进到埃米，密度提升却越来越像挤牙膏。

《纽约客》：美国的自助仓储宗教

长文观察公路上的 self-storage：人为何为几乎不用的东西付月费，以及供给为何爆炸。

仓储卖的是拖延决策，不是平方英尺。

CCC 邀请「模范公民」参加 40C3

第 40 届混沌通信大会定在 2026 年 12 月 27–30 日汉堡；主题 Model Citizens，开放征稿。

黑客大会换城市换口号，核心仍是技术、社会与公民自由的同台。

Zettascale（YC S24）招 ASIC/FPGA 工程师

招聘帖：为递归自改进相关 AI 硅片做芯片；岗位挂 careers 页。

Who’s hiring 里出现的方向，往往是资本下注的下一块硬地。

性、AI 与末日：安全叙事的亚文化谱系

Ian Duncan 长文：从 Anthropic 研究员辞职信切入，梳理 Yudkowsky 系理性主义社群如何塑造 AI 风险话语。

先看清话筒在谁手里，再决定要不要跟着恐慌或嘲笑。

在联想 IdeaPad Duet 上跑 Ubuntu

作者给 ARM64 ChromeOS 二合一刷机/固件折腾，让 Ubuntu 跑上 MediaTek MT8183 平板。

小设备能主线 Linux，靠的是有人肯挖固件，不是厂家良心突然发现。