AI 极客周报 W44 · 2026-10-24—10-30

这一周模型侧放得很密。Mistral 把 Large 4 的权重放了出来，Kimi K3.1 Pro 把 3T 级开源权重的时间表定在 11 月 4 日，Google 和 OpenAI 各发了一代新模型，Anthropic 递了 S-1。工程侧最值得看的是 OpenAI 把三篇数学与物理结果连同「怎么让学术界消化」的流程一起公开，以及有人在一条反爬指纹脚本里翻出的提示注入。

AI 与模型

Mistral Large 4 Mistral 放出 Mistral Large 4 的权重，地址里直接写着 oss。开源权重这一档今年已经打到旗舰尺寸，这条是本周 HN 上最大的模型新闻之一。（1679 分）

Anthropic S-1 Anthropic 向 SEC 递交 S-1，招股书原文放在 EDGAR 上。一级市场对模型公司的定价方式，往后要看这份文件里的数字。（1706 分）

三篇数学与物理结果 OpenAI 同时公开 Kakeya 猜想、指数时间假设、量子色动力学三个方向上的模型产出，并邀请外部专家做 shepherd 组织学术界消化。三篇给了三种不同的发布策略，这条最值得读的是流程而不是结论。（1158 分）

Kimi K3.1 Pro 3T 级开源权重模型，100 万 token 上下文，代码、3D 建模和金融研究都有明显提升，完整权重承诺 11 月 4 日前放出。同一天还有 Highspeed 版本，速度 2 到 3 倍。（1096 分）

指数时间假设为假 上面那条的数学部分单独拎出来看。ETH 是过去二十年复杂性理论的地基之一，这份预印本直接给它一个反例，正文和证明都在 GitHub 上，可以自己走一遍。（800 分）

Gemini 4 Carbon 新一代旗舰，Artificial Analysis 智能指数 59 排第一。安全侧的三个分数是重点，SEC-bench Pro 88.2%、ExploitGym 54.8%、CWE-bench 71.0%，Google 明显在按「找漏洞、利用、打补丁」这条链子训模型。（1011 分）

GPT-6.1 Terra 官方一句话是「大规模跑得又快又能干的 computer use」。这一代不再比谁考试分数高，卖点换成了让 agent 在真实机器上持续操作不崩。（637 分）

用盗版书训练的判决细节 斯坦福校报把 Bartz v. Anthropic 里涉及本校教授的部分挖了出来，至少十位教授的书被扒去训练。法官 Alsup 的立场是合法买书训练属于合理使用，但建永久中央书库不行，和解金额 15 亿美元。（601 分）

十年前的 CNN 打赢前沿模型 一位皮肤科医生拿 GPT-6 Astra 和 Claude Fable 5.1 做皮肤癌诊断，输给了一个十年前的小卷积网络。作者不是反对大模型，他把两边在同一批图片上的表现摆在一起，给愿意看数据的人自己判断。（670 分）

科技业之外没有 AI 回报 Apollo 的每日宏观栏目给了张图，AI 资本开支之外的行业劳动生产率没有可测的提升。这类结论每年都有人做，值得看的是它用的口径。（653 分）

新技术 · 新范式

Python 的实验性 JIT 要被移除 2024 年为 3.13 加进 CPython 的 JIT，今年 6 月被指导委员会暂停，现在走到移除。LWN 把「为什么停下来」写清楚了，和 3.14 之后的路线也接得上。（578 分）

FAT32 快了 265 倍 Linux 7.4 让 FAT32 在最坏情况下拿到最高 265 倍的提升。这个文件系统二十年没被认真优化过，因为大家都以为没人在用。（Phoronix）

curl 意外图灵完备了九个月 有人把 curl 的用法推到极端，发现它在某段时间里意外具备了图灵完备的表达能力，写成一篇正经论文。九个月后上游把这个口子堵上，文章留着。（Lobsters）

在 C 里倒着迭代 倒序循环里 i >= 0 遇上无符号数就是经典灾难，这篇把几种写法的正确性、可读性和编译器优化一起摆开比较。短，但值得抄进代码规范里。（107 分）

写了 950 天的 JS 引擎 一个人每天写一个 JS 引擎，写到第 950 天宣布 Yavashark，test262 通过 82%，支持 Temporal、Intl 和 React/TS。可嵌入、可扩展，路线图全摊在博客里。（38 分）

Swift 跑在浏览器里 ElementaryUI 把 SwiftUI 那套 API 搬到 WebAssembly 上，带内建响应式和很小的产物。想用 Swift 写前端又不想碰 JS 的人，这是目前最像样的一条路。（121 分）

Stack Overflow 每月问不到一千个问题 官方数据库查询，月提问量跌破四位数。这个数字比任何「AI 取代 Stack Overflow」的评论都直接，旁边还挂着历年曲线。（820 分）

批处理里跑不起来，双击就行 Raymond Chen 拆了个经典问题，同一个程序在批处理里失败、在资源管理器里双击就正常。他照着资源管理器的启动方式一步步复现，把差别找了出来。（122 分）

工具

Ghostty 1.4.0 10 月 27 日发布。终端模拟器这个赛道这两年又被它带热，HN 上照例吵「为什么还需要一个新的终端」，一千三百多分说明还是有人在乎。（1349 分）

Steal My Bitcoin 有人把钱放在一个公开的地址上，谁有本事拿走就是谁的。结果是 19.28 小时后被拿走，站方把过程写成了复盘。（625 分）

Hob 在自己电脑上跑开源权重模型的桌面端，Gemma、gpt-oss 这类模型本地加载，免费、离线、跨三个平台。定位是 Claude 和 ChatGPT 的开源平替，不是又一个套壳。（175 分）

Corgi 一个把 agent 和终端放在同一个复用器里的工具，可以并排开好几个会话看它们各自在干什么。多 agent 并行之后，窗口管理本身成了问题，这类工具就是冲着这个来的。（141 分）

dontallow macOS 那句「允许某 App 查找本地网络设备吗」每次都要手点，这个工具替你按「不允许」，空闲零 CPU，重启后还在。（149 分）

16colo.rs 1990 年代至今 BBS 时代的 ANSI/ASCII 艺术包档案，按 pack 和作者归档。逛十分钟就知道当年的字体、调色板和构图有多讲究。（139 分）

Keplearn 几秒钟从数据里回归出符号表达式，把一串数字还原成公式而不是一堆权重。做实验的人拿它找经验公式，比拟合一个黑箱有用。（104 分）

硬件 · 制造

The Grid CircuitHub 在麻省放了台工厂级机器人，按需打 PCB，官方说法是速度是深圳的两倍。把打样这件事从「发邮件等报价」变成「上传文件等出货」。（563 分）

MacBook Pro 的 PROLED XDR 屏 新屏幕加上 M5 Pro 与 M5 Max，苹果给这代机器的定位直接写成了 AI 平台。硬件参数之外，值得看的是它在本地推理上的说法。（619 分）

Keybytes 一块真正模块化的键盘，键位和区块都能拆换，设计文件全部开源。模块化键盘喊了很多年，肯把每一块都做成可替换的不多。（320 分）

1982 年的百元调制解调器 Commodore 1600 VICModem 的回顾。它大概是第一台卖到 100 美元以下的电话调制解调器，把「上网」从实验室和公司机房搬到了卧室。（Hackaday）

复刻莱克格斯杯的变色 公元四世纪的罗马玻璃杯，反射光下是绿的，透射光下是红的，原因是玻璃里悬浮着纳米级的金银颗粒。这篇讲的是怎么用现代工艺把这种二色性做出来。（Hackaday）

把 Game Boy Color 塞进胸牌 GitHub Universe 的会议胸牌本身就是一块彩屏计算机，有人在上面跑起了 GBC 模拟器。会议胸牌这几年的进化速度比很多消费电子产品快。（Simon Willison）

安全 · 隐私

Binance 报告 63 亿美元被盗 交易所自己说受影响的资产约 63 亿美元，已联合链上伙伴冻结约 30 亿，提现暂停、承诺兜底。一家美国区块链情报公司认为背后是朝鲜的一个单位。（1727 分）

Claude Code 的 VS Code 插件被投毒 Cursor 市场上那个官方扩展的 bundle 里被塞了后门，会在 macOS、Linux、Windows 上留一条持久 SSH 通道。这是本周最该检查自己装了什么的公告。（779 分）

指纹脚本里的提示注入 有人爬了 Tranco 一万个站点收集反爬指纹画布，在一条混淆脚本里发现藏着的提示注入，内容是让读它的模型输出生物武器和 DDoS 的教程。脚本背后指向一家俄罗斯流量清洗公司。（1573 分）

GLM-5.3 的 KV cache 跨请求泄露 Cloudflare 复盘了 Workers AI 上的租户隔离事故，一个配置错配触发了 SGLang 的 bug，让不同请求之间能看到彼此的 KV cache 页。时间线从 8 月 27 日算起，修复细节写得挺实。（Cloudflare）

GrapheneOS 拿到银行 App 的通行证 大约十来个银行 App 开始单独给 GrapheneOS 放行，而不是一刀切拒绝所有非官方系统。对刷机用户来说这是这几年少见的松动。（691 分）

边境设备搜查又涨了 32% 今年前三个季度美国边境对手机和笔记本的搜查次数同比涨了三成多。数字本身不新鲜，值得看的是它已经连续几年每年都在涨。（106 分）

冷知识 · 猎奇

罗马人打过哪些仗 从公元前 753 年到 1475 年，1709 场有名有姓的陆战与海战，全放在一张可交互的地图上，还能按对手、时期查胜负记录。数据来源和存疑项都标了出来。（149 分）

PhysicsForums 与死互联网 一个 2001 年就存在的老牌科学社区，被扒出大量帖子和回答是伪造或改写的。作者把它当成「人类写的互联网正在死掉」的一个切片来写，证据链挺长。（112 分）

Dolly Parton 的想象力图书馆 Dolly Parton 的图书计划，从孩子出生起每月免费寄一本纸质书，一直寄到上学，覆盖五个国家。它的规模比大部分科技公司的用户数还大。（686 分）

给 ZX81 写的 81 个笑话 Rob Manuel 给自己找了个荒诞的活，写 81 个笑话、自己画插图，全部只用 ZX81 那 64×44 个字符的屏幕呈现，然后印成书。（126 分）

观鸟能改写大脑 BBC Future 汇总了几项研究，认鸟的过程同时调用视觉、听觉、记忆和空间定位，对延缓认知衰退有可测的效果，已经有人把它做成失智症疗法。（549 分）

太阳能悄悄超过了核能 全球发电量上太阳能已经越过核能，文章给了七条原因和后面可能怎么走。最有意思的一句是业界自己的形容，「便宜得有点冒犯」。（547 分）