AI 极客周报 W41 · 2026-10-03—10-09

这一周三条线同时在动。模型侧挤得最狠，Mistral、Anthropic 和 DeepSeek 各自发了新东西；数学圈被 AI 冲得最明显，Erdős 问题站的站主写了一篇变更说明，陶哲轩在讲怎么衡量「数学 2.0」的进展；基础设施侧安静但扎实，Meta 给全网时间服务加上了认证，Deno 并进了 Cloudflare。

AI 与模型

Mistral Large 4 公开预览发布，博客标题直接写着 Le Chonk。定位是企业侧旗舰，同周 Anthropic 发小模型、DeepSeek 发便宜模型，三家挤在同一周。（2036 分）

Claude Haiku 5.5 Anthropic 说这是他们迄今最快、最便宜的小模型，主打高频重复的活，比如摘要、压缩、分类和数据库查询，也能给 Opus 5.5 和 Sonnet 5.5 当子 agent。便宜的小模型现在是 agent 系统的实际瓶颈所在。（1044 分）

为什么业界不为 DeepSeek 4.1 Flash 慌 作者重度用了一个月，说中途不看模型名，分不出它和 Opus 的区别，价格却低好几个数量级。他想知道前沿实验室为什么没有反应。（1089 分）

Whistle，16.9 MB 的语音识别 一个 16.9 MB 的文件，纯 CPU 运行，无依赖，支持七种语言，11 毫秒出第一个 token。它和同门的 Needle 共用一套 C++ 引擎，一个二进制就能把一段录音直接变成工具调用。（923 分）

OpenAI 公布一批数学结果 结果来自内部的前沿模型，Lean 形式化证明和细节同步放上 GitHub。发布之前他们找过 IAS 的「数学与人工智能咨询组」商量怎么分享，这个动作比结果本身更值得留意。（1339 分）

Erdős Problems 被 AI 淹没 站主 Thomas Bloom 写了一篇变更说明。这个站本意是把悬赏问题介绍给人，因为问题池大又好抓，一年里变成了衡量 AI 数学能力的标尺。陶哲轩在同周的帖子里的说法是，「数学 2.0」需要更整体地衡量进展，光数解决了几个问题会看偏。（120 分 / 608 分）

在 4090 上跑 125B 的 Qwen3.8-Flash-Next Strata 给了 Windows 和 Linux 的一键安装，在本地起一个兼容 OpenAI 与 Anthropic 的 API 端点，可选图像输入。HN 上贴出来的成绩是单卡 100 tokens/s。（934 分）

ChatGPT 给假的《纽约客》漫画签上真漫画家的名字 它模仿杂志的画风生成漫画，再签上在世画师的名字。署名这一层坏掉之后，画风像不像已经不是主要问题。（558 分）

佛州女子把 Claude 当日记，Anthropic 把其中一篇报了警 逮捕记录显示她在 9 月 26 日写下要袭击警长办公室，随后被以重罪起诉。模型什么时候该报警、拿什么标准判断，眼下这条线由厂商自己画。（836 分）

视频数据迷思，AI 还没「看过」互联网 Fastly 认为视频进不了训练集的瓶颈不在带宽，而在 token 成本和缺标注。这个说法对做数据的人比对做网络的人更有用。（Fastly 博客）

安全 · 隐私

Tor 项目回应与 Mullvad 的关系 起因是 Mullvad 联合创始人的一笔政治捐款。Tor 决定不终止技术合作，同时划出明确边界，博客里把中间的取舍摊开写了。（120 分 / 284 评论）

丹麦 880 万人的 CPR 数据泄露 官方公告说，有人滥用了一家丹麦企业查询公民登记信息的合法权限。国家级登记库把查询权下放给企业之后，审计就成了唯一剩下的边界。（509 分）

Meta 的时间服务开始说 NTS nts.meta.com 支持 RFC 8915，数据包带认证，设备可以验证时间确实来自 Meta，中途也没被改过。NTP 裸奔了这么多年，这算是补课。

Let's Encrypt 明年 2 月起默认 64 天证书 2027 年 2 月 10 日之后签发的证书默认 64 天有效期，也可以选更短的 45 天或 6 天。续期自动化没做好的团队，这次没有退路。

Flock 迎来两党立法 Sanders、AOC 和 Merkley 提出 Ban Flock Act，禁止联邦机构使用自动车牌识别。同周一位联邦法官对这类系统的说法是「无差别的大规模监控」。（102 分 / 502 分）

秘密投票底下的一处算法故障 选票扫描仪会把电子记录随机打乱再公开，2022 年披露的漏洞能把打乱反推回去，而包括佐治亚在内的一些州至今没打上补丁。反推成功就意味着能还原谁投了什么。（109 分）

Photopea 作者请 GitHub 下架盗版 有人让 AI 把他网站上的 JavaScript 扒下来、去掉广告，再当成「新产品」发到 GitHub，这样的仓库有几十个。用户拿着改过的版本找他报 bug，损害已经落到他头上。（568 分）

系统 · 语言 · 工具

Deno 加入 Cloudflare Ryan Dahl 的公告。运行时这一层从独立项目变成大厂的一部分，JSR 和 Deno Deploy 接下来怎么走是更实际的问题。（1120 分）

Chrome 开始发布 JPEG XL 压缩率比 JPEG 好，自带 HDR，还能无损转码已有的 JPEG。这个格式几年前被 Chrome 拿掉过，现在回来了。（571 分）

C 语言里的未定义行为正在被削减 Martin Uecker 在 Kernel Recipes 讲怎么把 UB 一步步收窄。他是生物医学工程教授，日常工作是用 C 写控制核磁共振扫描仪的软件。（124 分）

一次 40ms 的 Go GC 停顿，罪魁是 swap 作者为了吸收内存尖峰在生产上开了 swap，结果 GC 要扫描的 span 被换出又换回，和同 cgroup 里的 HTTP 服务互相踩。排查过程写得很细，结论是别对长命对象开 swap。（117 分）

微基准应该跑多少毫秒 matklad 的答案是 300 毫秒上下。整数毫秒有足够精度又好扫读，比 1.31s 这种写法省事，也长到能让固定开销变得无关紧要。（148 分）

Zerobrew，比 Homebrew 快 6.6 倍 一个替代的 Homebrew 客户端，作者给的上限是 6.6 倍。Homebrew 慢是老问题，有人愿意重做客户端这一层，比继续劝大家忍着强。（111 分）

用 LLM 把 TypeScript 编译器移植到 Rust 目标是 TypeScript 7 的 tsc，实验性质。编译器这种规模的东西，正适合拿来测模型现在能接手多少。（112 分）

Quake 移植到 safe Rust，浏览器里直接玩 不依赖任何 crate，编译成 WebAssembly，分享版章节开箱可玩。1996 年的引擎代码和所有权规则撞在一起还能跑起来，本身就是个结论。（225 分）

把任何屏幕变成标语牌 网址本身就是应用，链接里带颜色、字体和轮播间隔，不用装东西也不用登录。去机场接人、在电视上放倒计时、把 Wi-Fi 密码贴在前台，都是它的用法。（709 分）

可以走进去的 3D 艺术史博物馆 素材来自维基百科和 WikiArt，先沿时间轴滑过一千多年，再第一人称走进各个画家的展厅。开源，代码在 GitHub 上。（172 分）

硬件 · 制造

TDK 的视网膜投影方案 TDK 公布了一套智能眼镜用的显示方案，靠一片超光学反射镜把图像直接投到视网膜上。（136 分）

Valve 的工程师在修十年前的 AMD 显卡 Timur Kristóf 过去一年往 AMDGPU 内核驱动里塞了一批改动，专门照顾 GCN 1.0/1.1 那一代老卡，让它们在 Linux 上还能跑游戏。多伦多的 XDC 上他讲了整条路子。（499 分）

OLED 烧屏测试更新到 30 个月 同一批显示器按日常强度跑了两年半，残影出现的位置和速度都记了下来。买 OLED 之前值得看一眼这份长期账。（127 分）

父母的咖啡机十天传了 1TB 儿子在路由器上发现的。连了网的咖啡机往外传什么、传给谁，多数家庭从来没看过。（924 分）

自动化 35mm 胶片扫描流水线 作者用父亲留下的 Canon AE-1P 拍照，然后写了一条自动扫描的流水线，把时间从扫描挪回拍照。文末那个 darkroom 站点可以直接玩。（120 分）

vLLM 跑上 NVIDIA Vera Rubin NVL72 官方数据是每 GPU 吞吐达到 GB200 NVL72 的 7.8 倍，配合针对 Rubin 调过的 FlashInfer kernel 和 locality-aware MoE。硬件换代时推理栈跟上的速度，现在以天计。

科技社会

Margaret Hamilton 去世，90 岁 她在 MIT 仪器实验室带出了阿波罗计划的软件团队，那套代码在 1202 报警时救了阿波罗 11 号的着陆。「软件工程」这个说法也常被记在她名下。（2109 分）

给一个坦桑尼亚农村孩子交了十年学费 作者 19 岁在东非旅行时住进一个没有学校的村子，答应替房东家 11 岁的女儿付寄宿学费，一付十年，今年她大学毕业了。（743 分）

我们需要给几乎所有东西加上默认硬性预算上限 Simon Willison 说，按量计费的服务需要的是「超过多少就断掉」，不是发一封警告邮件。agent 让花钱这件事的摩擦降到几乎为零，软上限拦不住任何事故。（650 分）

我请插画师画了我的房子，现在它是我的 Home Assistant 面板 壁炉在画里跳动，花园灯在画里亮起，卧室的空调也是。能用的智能家居面板很多，家人愿意天天用的是另外一回事。（898 分）

遮蔽没做好，Google 数据中心的用水用电曝光 内布拉斯加要求数据中心每年上报用量，州法规又挡住了公开，一次不算复杂的遮蔽失误把数字漏了出来。（528 分）

犹他州让 AI 独立看诊开药 全国第一个，试点一年，范围限定在轻中度痤疮，全程没有人类医生复核。范围很小，但这是监管第一次把处方权交给软件。（140 分）

System76 在 COSMIC 的大部分代码库里禁掉 AI 生成代码 Pop!_OS 背后的公司给自家桌面环境定了规则。开源项目自己写规矩，比等许可证条款来管要快。（122 分）

冷知识 · 猎奇 · 轻松

Theranos.world 把 Elizabeth Holmes 的办公桌做成了可交互的模拟，可以打开她的 MacBook、翻她的 iPhone、操作 Edison 机器。里面的短信和邮件全部来自庭审记录。（553 分）

3A 级扫雷 把扫雷按大作的规格重做了一遍。本周最没道理也最完整的一个网页作品。（773 分）

抱歉，我在开会 选一段听起来足够真的会议音频，按播放，然后继续做自己的事。附赠一个把假会议塞进日历的 .ics 生成器。（815 分）

听鲸鱼说话的人 David Gruber 创办了 Project CETI，用 AI 和机器学习解码抹香鲸的交流。有人觉得这是当代最大胆的科学计划，也有人觉得是漂亮的徒劳。（112 分）

石时代的绳、线与麻 纤维制品几乎不进考古记录，但它在早期人类生活里的分量不小。考古学家在实验室里把粗绳重新搓出来，好估算当年需要多少时间和人手。（149 分）

'Wallace and Gromit'，九成是一个人做的 Nick Park 在 Aardman 做《A Grand Day Out》的那几年，绝大部分镜头是他一个人一格一格摆出来的。1989 年那部片改了不少人对动画的判断。（178 分）

条形码快要灭绝了 零售业在往二维码迁移，新的码能塞进保质期、批次和促销信息。1974 年那根黑白条撑了五十年。（109 分）

City 2026，用 Opus 5.5 做的模拟城市 2000 低多边形画风，打开就能玩。Show HN 上这类「模型做出来的完整游戏」越来越多，评价标准也在从能不能做变成好不好玩。（37 分）