今日速览

2026年10月7日 · 星期三

• 开源大模型：Mistral Large 4（约 1T 参数，月底放权重）今天热度第一，卖点是欧洲训练、欧洲部署、网络安全强；评论的看法是够用，但不领先。Google 同天放出 740M 参数的多模态嵌入模型 EmbeddingGemma 2，Apache 2.0 许可。
• AI 做数学：OpenAI 公开内部模型做出的一批数学结果，附 Lean 形式化证明和推理摘要；有评论者对照榜单，数出约 90 个「Top 500 公开难题」在列。其中「整数乘法低于 n log n」单独上了榜。
• 又小又快的 AI 接口：OpenAI 的 Decisions API 只回答是/否、选项、打分三类问题，号称比 Responses API 快约 10 倍；另一篇文章认为 Claude Code 的「建议下一句」主要是在替模型攒数据。
• AI 写的东西越来越大：AI 设计的开源加速器 OpenTPU 在一块 FPGA 卡上跑通十几个模型；一篇文章盘点了好几个 vibecoding 做出来的 Photoshop 替代品，Photopea 作者在评论里说其中一个抄了他。
• 监管与市场：犹他州试点让 AI 不经医生直接参与、开痤疮外用药，分阶段抽查；Paramount Skydance 完成 1110 亿美元收购华纳；开发者年度调查显示约三分之二的人动力下降。

Mistral 发布 Large 4：1T 参数，月底开放权重

约 1T 总参数、约 50B 激活的多模态 MoE，1M 上下文；先开放预览 API，权重本月底发布，主打网络安全和「欧洲主权 AI」。

Mistral 没有拿下第一，但给了「不能用美国闭源、也不想用中国模型」的买家一个够用的选项。

OpenAI 公开内部模型的一批数学成果

论文放在 GitHub 仓库，附部分 Lean 机器验证证明、10 份推理摘要和算力统计；平均每个结果约等于 ChatGPT Pro 思考 3 小时。

AI 做数学从「解竞赛题」走到「批量发论文」，现在的瓶颈变成人类能不能及时读懂和核实。

OpenAI 推出 Decisions API：只答是否、选项和打分

新接口 /v1/decisions 对文本和图片返回类型化答案，号称比 Responses API 快约 10 倍；公开 beta，目前只支持 gpt-6-luna。

很多 AI 功能其实只要一个判断，不要一段话；把判断做成专门接口，就是又快又便宜的分类器。

OpenTPU：AI 自己设计的开源 AI 加速器

一个仓库包含硬件设计、指令集、模拟器、编译器和分析工具；在一块旧 FPGA 卡上跑通十几个小模型，输出与模拟器逐位一致。

AI agent 已经能把一颗能用的推理芯片从设计做到上板运行；硬件开始进入「迭代很快」的阶段。

Google 开源 EmbeddingGemma 2：能放进手机的多模态嵌入模型

740M 参数，把文本、代码、图片、音频、视频映射到同一个向量空间；Apache 2.0，只做文本时 270M 就够。

本地 RAG 和跨模态搜索的底座变小、变开放了，很多搜索功能可以不上云。

犹他州试点：AI 不经医生直接开痤疮药

Nolla Health 的月费 4.99 美元 App 扫脸评估痤疮，从 8 种外用药里开处方；为期一年，医生分阶段抽查。

AI 行医的第一步选在了风险最低的地方：轻中度痤疮、外用药、逐步减少人工复核。

Claude Code 的「建议下一句」：真正的客户可能是模型

一篇博文认为，Claude Code 替你预填下一条消息，表面帮用户省事，实际在收集「人会怎么回」的训练信号。

一个看似贴心的 UI 功能，可能同时是数据采集管道；做产品时要想清楚它首先服务谁。

Vibecoding 出来的 Photoshop 替代品，已经不止一个

作者测试了多个用 AI 编程做出的 Photoshop 克隆，用自己的 PSD 文件检验图层、智能对象和混合模式能否保留。

「AI 能写软件，为什么没人做出 Photoshop 替代品」这个反问失效了，缺的只是时间和投入。

AnyPS5：不靠模拟器，把 PS5 程序移植到 PC

工具把 PS5 可执行文件重新链接成 Linux/Windows 原生格式，并自己实现系统库；已知系统函数中 87% 已映射。

PS5 本来就是 x86 架构，真正难的不是 CPU，而是图形接口和系统库。

OpenAI 预印本：整数乘法突破 n log n

OpenAI 数学成果中的一篇，宣称把大整数乘法的复杂度压到 n log n 以下，只是幅度极小。

理论上意义很大，实际上毫无用处，而且还需要人或机器核实。

Penguin Mail：Rust 写的 Linux 邮件客户端，AI 默认关闭

开源（GPL-3.0）的原生 Linux 邮件和日历应用，支持 Gmail、微软和任意 IMAP/POP3；内置助手可接本地模型。

在 Linux 上做一个好看的原生邮件客户端仍然有需求，但名字里带「AI」会先劝退一批人。

2026 诺贝尔物理学奖独授 Francis Halzen

表彰他对南极冰立方（IceCube）中微子天文台的决定性贡献，以及发现来自宇宙的高能中微子。

一个立方公里的南极冰被做成望远镜，几十年的大科学工程拿到了诺奖。

随机数取模，其实不够随机

用 random_u64() % n 从 n 个对象里挑一个，会让某些对象被选中的概率偏高；作者主张 API 直接让你写出概率分布。

一个看起来最简单的需求，最常见的写法就是错的；好 API 应该让正确做法最顺手。

UniEvo-VL：让多模态模型自己当老师

论文让同一个模型扮演老师和学生：老师能看到自我批评，学生只看原题，用自蒸馏提升图像生成。

不用更大的老师模型，也能靠「自己给自己挑错」变好。

Paramount Skydance 完成 1110 亿美元收购华纳

新公司叫 Skydance，合并两大片厂、Paramount+ 与 HBO Max、CBS、CNN 和体育转播；最后一刻的阻止申请被最高法院驳回。

美国媒体又合并成一个巨头，但和 YouTube 的收视份额比，它其实没那么大。

用了 LLM 写代码，我的腕管劳损好了

一位工程师从 2017 年起饱受重复性劳损（RSI）之苦，最近发现弹琴时几乎不疼了，猜测是因为现在主要打英文而不是满键盘敲代码。

AI 编程改变了手在键盘上的动作，副作用可能是健康收益。

2026 开发者调查：大家都很累

State of Devs 首次调查心理状态：约三分之二的人动力下降、更加愤世嫉俗，近半数经历过工作不稳和收入不足。

开发者行业正处在一个不确定期，疲惫是普遍状态，不是个别现象。

Python 3.15 有多快？比 3.14 只快一点

Miguel Grinberg 每年用同样两个小程序测新版 Python；结论是 3.15 提升很小，只有实验性 JIT 明显变快。

这次不必为了性能急着升级 Python，要升是为了新功能。

Readyset 如何改写你的 SQL

Readyset 把每条查询编译成持续更新的数据流图，读取变成查表；这篇讲它如何先把任意 SQL 改写成引擎能吃的标准形式。

想让缓存「自动跟着数据更新」，前提是先把 SQL 改写成一种规整的形状。

斯坦福：阻断一种衰老蛋白，老鼠膝盖软骨长回来了

抑制随年龄增多的 15-PGDH 酶，老年小鼠的软骨再生，膝伤后也不易得关节炎；人类软骨样本也有反应。

离「不用换膝关节」还远，但这是少见的直接针对软骨流失原因的思路。

Ask HN：有没有「参考音频＋文字」生成声音的模型？

提问者想基于一段参考音效、加文字指令生成新音效，发现图像早已能「参考图＋提示」，音频却还像 2016 年的图像生成。

音频生成里「拿样本改一改」这个需求，可能还是一个没被做好的空白。

微基准测试，跑到约 300 毫秒最合适

matklad 的经验：调整输入规模，让一次基准测试跑几百毫秒，既不受启动开销干扰，又能快速反复跑。

基准测试的目的不是精确测量，而是给写代码的人足够的直觉来做对决定。

加州堵上「蒙大拿车牌」避税漏洞

富人常在蒙大拿注册空壳公司来挂车牌、躲加州使用税；新法规定只要有一个股东是加州居民，公司就算加州居民。

一个靠「公司不是人」吃了几十年的漏洞，被一条「看实际所有人」的规则堵上。

韩国总统称：银行遭黑客攻击，疑似用了 AI agent

据路透社报道标题，韩国总统表示，近期针对本国银行的黑客攻击似乎使用了 AI agent。

AI agent 被用于真实金融攻击，开始由国家元首公开确认。

地球上哪个物种总重最大？

一篇科普按「总生物量」排名：动物里牛第一，人类和南极磷虾并列其后；放到全部生命里，植物和细菌远远领先。

人类和人养的牲畜，已经是地球动物里分量最重的几种。