今日速览

2026年10月8日 · 星期四

• 模型价格战：Anthropic 发布 Claude Haiku 5.5，10 万 token 以内比上一代便宜 90%，和 GPT-6 Luna 同价；同时给 Max/Team 订阅送每月 API 额度。小模型够用、够便宜，开始成为默认选项。
• 聊天界面在变：GPT-6 进入 ChatGPT 免费层，主打 Intelligent UI，回答里直接长出图表、按钮、表单和小工具。评论一半叫好，一半担心它是在给广告铺路。
• AI 成本开始被算账：报道称微软把部分员工的 AI 月度额度从 10 万美元降到约 1 万，Meta 的 Claude Code 用户减半，两家都在推自家工具。
• AI 数学的热度和质疑同时上升：OpenAI 的数学成果帖评论破 1400 条，排名第一；另一篇论文指出，Lean 验证通过，不等于它验证的就是原来那份自然语言证明。
• 老问题又被翻出来：Visa、万事达和五大银行再被商户集体诉讼刷卡费；Chrome 155 在下线 JPEG XL 几年后重新支持，解码器改用 Rust 写。
• 人物与科学：Apollo 软件负责人 Margaret Hamilton 去世，享年 90 岁；诺贝尔化学奖颁给研究「手性」怎样自发出现的 Kagan 和 Soai。

Anthropic 发布 Claude Haiku 5.5：便宜九成，追平 GPT-6 Luna

10 万 token 以内输入 $0.10、输出 $0.50 每百万 token；Sonnet 5.5 缓存读取半价；Max 和 Team 订阅每月送 API 额度。

Anthropic 终于有了一个价格能打的小模型，用来做摘要、分类、子代理这类大量重复的活。

GPT-6 开放给所有 ChatGPT 用户，回答可以直接是交互界面

OpenAI 推出 Intelligent UI：模型自己决定用文字、图表、按钮还是小工具来回答，付费用户今天起、免费用户明天起。

聊天框不再只吐文字。模型开始按问题现场「生成界面」，这是对传统软件交互方式的一次直接挑战。

报道：微软和 Meta 开始压缩员工的 Claude 使用

据 The Information，微软部分员工的 AI 月度额度从 10 万美元降到约 1 万；Meta 的 Claude Code 用户从 6 万降到 3 万，转向自家工具。

大公司开始认真算 AI 编程工具的账，同时把预算转给自己的模型和工具。

OpenAI 公开内部模型的一批数学成果（热度续涨）

昨天已收录，今天升到热度第一、评论破 1400 条：预印本放在 GitHub，附部分 Lean 证明；唯一博弈猜想、Barnette 猜想都在列。

AI 做数学从「解竞赛题」走到「批量出论文」，接下来的瓶颈是人类能不能及时读懂和核实。

论文：Lean 验证通过，不代表 AI 的原证明是对的

三位作者以 OpenAI 的 Navier–Stokes 爆破证明为例，说 AI 把自然语言证明翻成 Lean 时会走样，形式化证明和原文对不上。

「机器验证过」只保证 Lean 里那份证明成立，不保证它就是你读到的那份证明。

Visa、万事达和五大银行再遭商户集体诉讼

圣地亚哥一家披萨店起诉称，卡组织和银行串通维持刷卡手续费，此前 50 多亿美元的和解没有改变问题。

刷卡费这件事，靠和解解决不了；只要规则不变，官司就会一轮轮来。

Chrome 155 重新支持 JPEG XL，解码器用 Rust 重写

几年前被 Chrome 移除的图片格式回来了：比 JPEG 压缩率高 30–50%，支持无损和 HDR；Firefox 也快了。

大公司把移除的功能又加回来，少见；理由是用户呼声，加上用 Rust 解决了安全顾虑。

Show HN：Bigwords，把任何屏幕变成一块大字牌

消息直接写在网址里，不用注册、不存服务器；接机牌、倒计时、Wi-Fi 密码，一个链接就是整块显示屏。

一个很小、很清楚的点子：把状态放进 URL，产品就不需要后端。

Apollo 软件负责人 Margaret Hamilton 去世，享年 90 岁

她带领 MIT 团队编写了把人类送上月球的机载软件，「软件工程师」这个说法也和她有关。

软件能被当作严肃的工程来做，她是最早证明这一点的人之一。

最长寿陆地动物「乔纳森」测序：194 岁的龟

这只亚达伯拉象龟约 1832 年出生，研究发现它在多条衰老相关通路上有独特基因变异。

长寿个体的基因组，是研究衰老的天然样本。

《Science》：富兰克林其实早就看出了 DNA 螺旋

两位研究者认为，Rosalind Franklin 知道早先的照片已显示螺旋，这正是她去拍更清晰的「51 号照片」的原因。

科学史里「谁先想到」的问题，常常取决于笔记怎么读。

维也纳和北京的首批钍核钟开始运行

《纽约时报》报道，基于钍-229 原子核的「核钟」首次跑起来；评论补上了《Nature》原论文链接。

计时精度可能迎来下一代：从「原子钟」走向「核钟」。

Docker 开源 Docker Agent：用 YAML 定义和运行 AI 代理

作为 docker 命令行插件，支持多代理协作、任意 MCP 工具、多家模型，还能把代理推到镜像仓库分享。

Docker 想把「代理」做成像容器一样可以打包、分发、运行的东西。

「把 if 往上推、把 for 往下压」：一条编程习惯的代数解释

从 TigerBeetle 的代码规范出发，把这条习惯类比到数据库查询优化和函数式编程里的定律，并讨论它的边界。

分支集中在上层、循环集中在下层，代码更好读，有时也更快。

用 Swift 写一个最小内核，在 QEMU 里跑起来

作者用 Embedded Swift 写了一个只会打印一句话然后等待的内核，记录在没有操作系统时程序要准备什么。

Swift 也能用来写裸机程序了，门槛比想象低。

Raymond Chen：Windows 热补丁遇到被别人改过的函数会怎样

热补丁的预留空间只给 Windows Update 用；如果发现函数被第三方动过，系统就放弃热补丁、要求重启。

一个机制只为一个使用者设计时，别人偷偷用它，最后吃亏的是用户。

TidesDB 作为插件存储引擎登陆 MySQL

一个主打写入和空间优化的事务型引擎，以插件形式装进原版 MySQL，可以和 InnoDB 表并存。

不用换数据库，也能给写多读少的表换一个更省空间的引擎。

ascii.rest：给网页用的动画字符画库

风景、界面组件、图表、编程语言 logo、Linux 发行版、物理模拟……上百个可直接嵌入网页的字符动画。

复古终端风很流行，这个库把它做成了现成素材。

照着 C64 键帽照片复刻出的一套字体

开源项目根据经典 Commodore 64 键帽的照片重建字形，提供桌面字体、网页字体和可编辑轮廓。

怀旧硬件上的字，也能变成可用的数字字体。

从随机游走推导布朗运动

一篇讲直觉的数学文章：从离散的随机游走出发，一步步推出布朗运动的分布。

把「到底发生了什么」和「可能发生什么」分开，是概率思维的起点。

机器是怎样学会精确的：工业革命里的精度史

一篇可交互的长文：从瓦特的汽缸、Maudslay 的车床，到 Whitworth 能测出百万分之一英寸的机器。

精度是靠一代代机器「自举」出来的：用不完美的工具造出更好的工具。

旧文《木头胶带》：陪四岁儿子去五金店

2004 年的一篇父亲手记：儿子要买「木头胶带」，画的其实是一张要爸爸做桌子的图纸。

认真对待孩子的「项目」，他会给你惊喜。

英国一栋带地下隧道的房子挂牌 30 万英镑

雷丁的这处房产下面有挖出来的地下通道，最深 15 米，泳池边的火箭模型里还藏着秘密入口。

古怪的爱好，最后也会变成房产卖点。

2026 诺贝尔化学奖：解释生命为何只用「一只手」的分子

Kagan 和 Soai 获奖，表彰他们发现不对称有机合成中的非线性效应和自催化。

他们回答了一个百年难题：镜像分子里只剩一种（同手性），可以自发出现。

Google 推出 Playground：用文字描述就能做游戏

实验性平台，不写代码就能生成、游玩和分享小游戏；目前只对美国 18 岁以上用户开放。

「一句话做游戏」很容易，「做出好玩的游戏」仍然很难。