本期热点#

当天最热的故事来自欧洲：Mistral Large 4 公开预览上线，这是一款 1 万亿参数的多模态模型，权重计划月底开放，公司把它包装成AI主权的样板——训练在自家欧洲数据中心完成，客户可以搬回自己的机房运行，不必仰仗大洋彼岸的供应商。

把这条放在开头，也正好点出今天版面的主线：AI 的竞争不再只是谁的模型更聪明，而是谁的能力可以被别人真正用起来、管起来。顺着这条线，OpenAI 公布了一批由内部模型产出的数学成果，并开始和学界商量机器证明该怎么发布；另一端，Meta 的 AI 智能体 Muse 因为一连串安全与隐私事故成为反面教材。版面上还有两块硬内容：科学一侧，2026 年诺贝尔物理学奖授予冰立方中微子观测站的 Francis Halzen；产业一侧，捷克开发工具公司 JetBrains 营收创新高却转为亏损，犹他州的增强型地热电站提前并网。最后是一条轻松的：互联网上最古老的占位网页 example.com 迎来了几十年来最大改版。下面按主题展开。

技术与产品#

Mistral Large 4：欧洲的AI主权样板 #

Mistral 发布 Mistral Large 4（官方昵称 Le Chonk）的公开预览：1 万亿参数、原生多模态，推理时激活 490 亿参数，权重将于本月底开源。发布稿称模型在网络安全、金融、法律等企业场景达到开源模型的最先进水平，部分视觉定位能力甚至超过闭源前沿模型；训练在 Mistral 自有的欧洲数据中心完成，用了 3800 块 NVIDIA Grace Blackwell 芯片，数据涵盖 160 多种语言。公司强调客户可私有化部署，避免关键任务中被外部供应商中途断供，还披露强化学习训练的规模（单次运行每天产生约 330 亿 token），并称这是其 30 亿欧元 D 轮融资路线图的第一步。

简评：值得广义读者注意的不是参数，而是"能力可以自己拿着跑"这件事正在变成一种地缘选项。原文当然只讲自家成绩，数据需自行打折看待。评论区围绕追赶者是否还有机会展开：有用户感叹 AI 的早期并没有变成赢家通吃的游戏，Mistral 在上一代产品的挫折后仍留在牌桌上，也有人把原因归于中国开源实验室公开的论文与人才自由流动；另一派观点认为领先者的算力与生态才是真护城河，还有读者提醒，发布稿的对比结果主要对标数月前的开源模型，实际差距可能被高估。关于那台只有 3800 块芯片的训练集群，不少人反而觉得用如此小的规模逼近前沿相当惊人。

讨论见 Hacker News 帖子

Polars 2.0：表格数据的默认答案在换人 #

Rust 数据框架 Polars 发布 2.0 版本。最大变化是默认启用流式执行与内存不足时溢出到磁盘的能力，让大数据集不必整块塞进内存；SQL（结构化查询语言，数据库里最通用的取数方式）被提升为一等公民，配合一系列优化，官方基准显示其在两套业界标准测试上领先 DuckDB 与 DataFusion。此外新增 Map 数据类型，并对类型检查提出更严格要求，让报错更快。官方坦承在 192 线程的大机器上处理小数据仍有固定开销，已定位原因，并公开了完整的基准测试仓库供复现。

简评：Polars 与 pandas 的关系大致相当于自动挡与老手动挡——对绝大多数日常取数工作，差别已经不影响结果，但迁移门槛仍真实存在。评论区的焦点正是"是否已能完全替代 pandas"：多数人认为除地理空间场景外基本可以，有人指出接口更直观，过去十年遇到复杂查询仍要查文档的挫败感消失了；一条被反复引用的对比显示在十亿行数据上 pandas 耗时 4 分多钟，Polars 与 DuckDB 约 5 秒。也有人更习惯 DuckDB 或 pandas 的庞大生态，认为第三方库兼容性才是真正的迁移门槛；另有开发者提醒纳秒级时间戳导出等细节仍有坑。

讨论见 Hacker News 帖子

example.com 迎来几十年来最大改版 #

example.com 是互联网号码分配机构 IANA 自 1990 年代末保留给文档举例用的域名。DebugBear 的复盘文章记录了 9 月 28 日的改版：从静态英文页变成用 JavaScript 每 5 秒切换英、阿、中、法、俄、西六种语言的动画页，每个字符带渐次延迟淡入；10 月 3 日又撤掉动画，直接并列展示全部语言。IANA 在声明中解释，把内容拆进独立脚本文件是为压低带宽，因为访问该域名的绝大多数是自动化流量，通常不会抓取脚本；同时强调这个域名不是服务，不建议被拿来做可用性测试。文章还回顾了该页从 1999 年上线至今的历次面貌。

简评：一个本该无人访问的占位页被机器挤到需要省带宽，这本身就是互联网运行方式的侧写。评论区有人发现自己的测试因此挂掉，顺手提供了一个复刻旧版页面的公开地址；但更多人反问什么测试会依赖页面长什么样，讨论顺势滑向那条著名的经验法则——凡是别人依赖的行为，都会有人依赖。一位网络工程师给出了不同理由：example.com 支持 HTTP、体积小、好记、几乎永不下线，是检测能否上网的近乎完美目标，尤其适合强制弹出登录门户的场景；也有人搬出规范文件强调本就不该依赖它的 HTTP 服务，还有人戏称这块业务即将被 AI 创业公司颠覆。

讨论见 Hacker News 帖子

商业与平台#

JetBrains 营收创新高，却录得净亏损 #

捷克公司数据平台 Helgi Library 的资料显示，JetBrains 2025 年营收 160.08 亿捷克克朗，同比增长 6.3%，创公司纪录，并在捷克 15 家媒体类企业中规模第一；但同期净亏损 3.15 亿克朗，净资产收益率为 -11.1%，比上年大幅下滑。利润表显示毛利从 2021 年的 53 亿克朗一路降至 2025 年的 17 亿，营业开支则逐年抬升，2025 年营业利润转为负数。帖子本身只是一份财务数据汇总页，真正的信息密度在评论区。

简评：一家没有融资故事、靠订阅活着的软件公司出现亏损，对关心"软件生意还成不成立"的读者是个干净的样本。评论区给出互相竞争的解释：有人猜测是 AI 算力投入、人力成本与硬件涨价吞噬了利润，也有人科普投资不等于亏损的会计常识，感叹市场只盯利润线；一位读者翻出捷克工商登记的免费全文，称净亏损主要来自 2025 年克朗对美元的汇率折算，集团口径营收其实增长约 25%，结论是远不是 AI 末日。也有开发者坦言自己半年没打开 JetBrains 的 IDE，明年大概率不再续订，暗示 AI 编程工具正在改变开发者的付费意愿。

讨论见 Hacker News 帖子

首座增强型地热电站 23 个月建成 #

地热公司 Fervo Energy 宣布，其位于犹他州的 Cape Station 电站于 9 月 30 日提前一天开始向电网售电，从破土到商业运行仅 23 个月。增强型地热指把油气行业的钻井技术用于更深更热的岩层，让打井不再受天然温泉地带限制；首期并网约 33 兆瓦，整个项目规划 100 兆瓦，场地远期潜力高达 4 吉瓦，Google、南加州爱迪生等已承诺购电。Fervo 今年 5 月完成 IPO 募资 19 亿美元，此前累计融资超 13 亿美元，希望未来把单期建设周期压到 18 个月，以满足数据中心对快速供电的渴求。

简评：对普通读者，这条的意义在于"随时可用的清洁电力"离现实又近了一步，而数据中心正在决定下一批电站建在哪里。评论区并不买账：有读者列出维基百科上自 1970 年代以来的 50 多个增强型地热项目，质疑世界首个的说法，并指出实际只并网了 33 兆瓦而非标题里的 100 兆瓦；更尖锐的是成本对比，一期每千瓦约 7000 美元，远高于燃气电厂约 2157 美元。有人据此认为太阳能加电池加风电早已全面胜出，甚至调侃说读完这段话的时间，太阳能板又便宜了。

讨论见 Hacker News 帖子

政策与治理#

1110 亿美元合并完成，美国媒体再少两个巨头 #

Ars Technica 报道，Paramount Skydance 完成对华纳兄弟探索公司 1110 亿美元的合并，新公司命名 Skydance，囊括两大电影制片厂、Paramount+ 与 HBO Max 两个流媒体、CBS、CNN 以及庞大的体育版权库。此前加州等 12 州提起反垄断诉讼，法官认定合并很可能实质减少竞争；加州上月选择和解，其余各州随之跟进，五名消费者向最高法院提交的紧急叫停申请被 Kagan 大法官不附说明驳回。和解条件包括设立向董事会报告的 CBS 新闻与 CNN 编辑独立委员会；司法部 6 月已批准交易，FCC 允许公司向沙特、阿联酋、卡塔尔主权基金出售无投票权股权融资。合并后公司预计背负约 800 亿美元债务，Ellison 家族与 RedBird 掌握全部投票权。

简评：新闻机构的所有权结构是公共议题，这也是它进入本日报的原因——编辑独立性第一次被写进了法院和解条件。评论区分裂明显：一部分人担忧美国媒体加速集中，并围绕所有者的政治立场激烈争论；另一些人则提醒此类说法容易滑向关于犹太人的刻板印象，要求把批评限定在可证实的行为上。也有人寄望于下一届政府重启反垄断审查，但更多评论对监管机构是否愿意出手表示悲观。撇开政治争论，有用户单纯算经济账：800 亿美元债务压顶，公司必须同时守住流媒体增长、有线电视现金流和院线表现，任何一环失守都会很难看。

讨论见 Hacker News 帖子

科学与研究#

2026 年诺贝尔物理学奖：Francis Halzen 与南极冰下的中微子 #

诺贝尔奖官网宣布，2026 年物理学奖单独授予威斯康星大学教授 Francis Halzen，表彰其对 IceCube 中微子观测站的决定性贡献，以及发现来自天体物理起源的高能中微子。IceCube 位于南极，把一立方公里的冰当作探测器：科学家向冰层钻出 2.5 公里深的孔，放入约 5000 个光学探测器，等待中微子极偶尔地与原子核碰撞时留下的蓝色闪光（切伦科夫辐射，带电粒子在介质中跑得比光在该介质中快时产生的光波）。中微子几乎不与物质作用，能不受阻挡地把宇宙深处的信息带到地球，因此被称为幽灵粒子，也由此成为天文学的全新信使。

简评：把看不见的粒子变成能出新闻的科学，靠的是一个把整块南极冰变成仪器的工程奇迹。评论区像一堂速成物理课：有读者用通俗语言解释原理，另一位随即澄清常见的误读——所谓超过光速，指的是超过光在冰中的速度而非真空光速。有人追问为何要在意中微子来自哪里，天文学背景的用户回应称 IceCube 本就不是为研究中微子而建，而是用中微子研究宇宙，如今已能确认银河系乃至若干遥远星系的方向。还有人讨论为何选择冰而非水，并指出同样的蓝光正是核反应堆冷却水发光的原因。

讨论见 Hacker News 帖子

OpenAI 公开机器产出的数学成果 #

OpenAI 宣布其内部前沿模型产出的一系列数学结果，并称正按普林斯顿高等研究院数学与人工智能咨询组的建议探索发布规范。本次成果以 GitHub 仓库形式公开，附带论文修订与引用协议，部分证明提供可被计算机逐条检验的 Lean 形式化版本；为体现科学透明，公司还一并公布了 10 份模型推理摘要、算力消耗（平均每个结果约相当于 ChatGPT Pro 思考三小时）以及尝试题目数量的统计。OpenAI 表示将资助围绕这些结果的研讨会与专项计划，并正在研究如何负责任地发布该模型本身。

简评：真正的新鲜事不在某条定理，而在学术界开始为"如何引用机器证明"订规则——这会决定公众多久之后能验证这些成果。讨论很快变成一场关于 AI 拐点的辩论：有担忧者公开询问乐观派如何解读这类结果、未来一到五年预期看到什么；有人回答自己上手做工作就会了解局限，立刻被反驳称几年前模型连单词里有几个字母都数不清，如今只是更便宜更强。一位读者称读过几篇预印本、认为其中展现了真正新颖的思路，随即被质疑在一小时内凭何判断新颖。也有相对中立的声音指出数学是天然可验证的领域，形式化证明加第三方复核能显著降低风险。

讨论见 Hacker News 帖子

社会与文化#

Meta Muse：一个频频翻车的数字管家 #

TechDirt 汇总了 Meta AI 智能体 Muse 上线以来的一连串事故：产品带着一个可监视 Mac 用户的零日漏洞发布；有主播把 Facebook Marketplace 交给它打理，结果低价甩货还对外泄露了家庭地址；研究者发现只要伪装成另一个 Muse 智能体就能骗取设备最高权限；它还会在未获许可时读取私信并上传云端，迫使 Apple 修改了 macOS 的完全磁盘访问权限设置。报道还援引 Wired 称它会为用户的亲友建立详细档案，援引 404 Media 称内部为赶上线仓促打补丁，有工程师预期迟早爆发大规模数据泄露。作者把问题归结为监管缺位下的抢跑竞争。

简评：订餐、付账、读消息都交给同一个代理，等于把家门钥匙交给一个还在测试期的产品，这正是它对普通读者的意义。评论区的共识相当一致：在财务责任机制建立之前，没人愿意把银行账户、邮箱和聊天记录交出去，有人提出只有厂商先行全额赔付才能换取信任，也有人主张花钱必须保留人工确认的硬开关。不过也有反方提醒，Hacker News 不代表普通用户，Meta 的数十亿用户可能根本不在乎；还有评论认为真正的缺口是保险与追责体系，而厂商只会把风险定价转嫁给消费者。

讨论见 Hacker News 帖子

Alan Kay 笔下的 Smalltalk 早期历史 #

图灵奖得主 Alan Kay 1993 年在 ACM 计算机语言演化史会议上的长文《Smalltalk 早期历史》被整理上线，附原始扫描 PDF 与勘误仓库。文章从 1960 年代 ARPA 社区的人机共生思潮讲起，串起 Sketchpad、Simula、Engelbart 的 NLS、Xerox PARC 的 KiddiKomp 与 Smalltalk-71/72/76/80 的演化脉络：重叠窗口、图标化编程、字节码、面向儿童的编程教育，以及"烧掉我们的磁盘"那般激进的重构。Kay 强调这群人追求的不是把大型机做得更好，而是把计算变成像蒙台梭利教室那样的学习环境，是一次堪比印刷术的范式转移。

简评：今天人人使用的窗口、图标和触摸之外的交互语言，大多能在这份一手史料里找到源头，因此它值得非技术读者当作文化史来读。评论区像一条技术家谱：有人指出 Smalltalk 深深塑造了 NeXTSTEP 与 Objective-C，苹果的开发工具里处处可见其痕迹，另一条跟帖把它一路追到 Mesa、Cedar、Modula-2、Plan 9 乃至今天浏览器的即时编译设计。也有严谨派提醒，Smalltalk-76 起才采用 Simula 的对象模型，与早期版本差异很大，别只读 Kay 的回忆文章就下结论；还有人感叹，这条影响链如此深远，真正用过 Smalltalk 的人却少得可怜。

讨论见 Hacker News 帖子

尾巴#

今天的版面从一台欧洲训练的模型开始，最后落回 1993 年的一份会议论文，中间穿过南极的冰、犹他州的钻井、法院的和解条件与一份捷克公司的资产负债表。技术在往前跑，围绕它的争论同样在往前跑：能力归谁、风险谁担、成果怎么发布、旧经验从哪里来。这些都不是工程师才需要关心的问题。我们下期再见。