Description

今天的主线是「小模型」与「可验证」：Cactus 的 16.9 MB 语音识别模型 Whistle 跑在纯 CPU 上，Claude 打造的 Rust 版《雷神之锤》与 id 原版 C 逐像素对齐，一位集合论学者公开批评 OpenAI 难以阅读的数学手稿；市场方面，SpaceX 抢购频谱冲击电信股，AI 推高的内存成本拖累 iPhone 18 Pro 需求。

1. Whistle：16.9 MB 的开源语音识别模型，纯 CPU 运行 —
2. 集合论学者评 OpenAI 的「划分原理」手稿：晦涩混乱，是对数学家的「拒绝服务攻击」 —
3. 芯片周报：格芯为台积电生产 CoWoS 中介层、Hyper-NA 极紫外光刻、3 亿美元 GPU 走私案 —
4. SpaceX 收购 Grain 的 800 MHz 频谱发力 Starlink Mobile，电信股下挫 —
5. 日经：内存涨价拖累需求，苹果削减 iPhone 18 Pro 零部件订单逾 15% —
6. Show HN：Claude 智能体集群把《雷神之锤》移植到安全 Rust，与 id 原版 C 逐像素一致 —
7. Biohub 联合美国能源部、国立卫生研究院、谷歌 DeepMind 与 Meta 投入 18 亿美元打造 AI 可用生物数据 —
8. ttok 1.0 默认改用 GPT-5/GPT-6 分词器，OpenAI 尚未确认 GPT-6 的分词器 —
9. 给 TypeScript 编译器加上 Go 的 defer——结论是它不该存在 —
10. Windows 与 Mac 键盘差异深度参考 —
11. 微软：现在就开始测试后量子证书体系 —