ONWARD 深读 · Deep Read
Now · New · Next / Issue No.36 / 2026.09.10

重启的反应堆,改画的地图

A reactor reboots; the map gets redrawn.

从爱荷华一座 2020 年关停、如今被 19 亿美元贷款叫醒的核电站,到联合国以 164 比 1 建议世界改用等积投影地图;从待机时仍在扫描房间的电视,到一份需要 Lean 校对的千禧难题证明——这一期七则信号指向同一条暗线:抽象正在重新长出重量,而「怎么呈现」本身,正在变成一种权力。

策展Mike Bechtel 来源《Onward》Substack 体例七则信号 · 中文深读
编辑插画:重启的反应堆经铜管连接地球仪与玻璃投影装置,将球面世界重新展开为地图
Fig. 00 — 封面图 / Original Color重量 · 与投影2026.09.10
导读 · Executive Guide

算力落回地面,界面开始决定现实

上一期讲的是「凭证在漏、耐心在建」;这一期把镜头往下推了一层。七则信号里,有四则的瓶颈落在物理与法律上——电网、许可、冷却水、掩模玻璃、司法管辖;另外三则的瓶颈落在呈现与推断上——待机时仍在采集的屏幕、由数据库生成的怀疑、一张决定了什么显得重要的地图。合起来,它描述的是同一件事的两面:当技术足够深地嵌进现实,它既要为现实的重量买单,也开始替我们定义现实的样子。

本期主线 / Throughline

AI 的成本正在从「算力账单」变成「电网、玻璃与法律管辖上的账单」;与此同时,我们用来看世界的界面——电视、数据库、地图、摘要——正从记录者变成裁判者。

深读视角 / Editor's View

这是一组关于「重量与投影」的信号。企业应同时盯住两件事:把物理与主权约束提前接进技术路线图;以及承认自己的默认值、仪表盘与 AI 摘要,正在替别人决定什么重要。

Signals · 七则信号

从重启的反应堆,到改画的世界地图

每条信号先保留原文事实,再展开「为什么重要」。所有事实、数字与机构名称均引自 Mike Bechtel 原文及其标注来源;分析为编辑部中文二次解读。

№ 01 / 07能源基建 · 核电重启
01

把关停的核电站叫醒:AI 的账单开始用兆瓦支付

Reactor Reboot

美国能源部(DOE)为 NextEra Energy 落地一笔最高 19 亿美元的贷款,用于重启爱荷华州的 Duane Arnold Energy Center——一座 615 兆瓦、已于 2020 年关停的核电站。

DOE 称该项目在通过美国核管会(NRC)审批后,可为近 50 万户家庭提供全天候电力,并带来约 1,500 个建设岗位与 450 多个运营岗位。Google 并非借款方,但这次重启处在一场更大的争夺之中:如何在不把电网押在间歇性电源上的前提下,为 AI 时代的数据中心供电。

来源 · Mike Bechtel《ONWARD!》(U.S. DOE · Slashdot)

$1.9BDOE 贷款上限
615 MW重启机组装机容量
~500,000 户DOE 称可供电家庭数
展开深读 · Read deeper收起深读

老派的企业云正在发现:电力不是一项抽象投入。下一代算力需要「物理层面的耐心」——钢材、许可、冷却水、受过训练的操作员,以及对一项要用数年才能复活的基础设施的政治容忍度。

真正值得注意的信号,不是核电怀旧,而是超大规模算力需求开始让那些在 AI 之前不经济的资产重新变得划算。Bechtel 提到 2025 年初的一次访谈,Sam Altman 当面说「因为新的经济学,聚变几年内就会到来」;他当时觉得离谱,如今逐渐认同。

Why it matters / 为什么重要

算力规划的时间单位正在从季度变成年,从采购合同变成土木工程。把电力供应、选址、许可周期与电网关系写进技术路线图的第一性约束,而不是等模型训练完了再去找插座。

№ 02 / 07智能硬件 · 待机采集
02

电视没关机,只是换了工作:屏幕正在变成广告传感器

Standby Me

Gamers Nexus 的一项调查(经 The Verge 等媒体报道)称,LG 智能电视可以扫描附近设备、跨输入源采样观看行为,并且在设备离线或待机时仍保留部分与音频相关的日志。

LG 对其中的关键解读提出异议,称语音数据仅在特定条件下采集。但这组报道指向一个更大的模式:电视制造商正越来越多地把屏幕当作广告传感器,而不只是显示装置。

来源 · Mike Bechtel《ONWARD!》(Gamers Nexus · The Verge · Slashdot)

待机 / 离线仍保留音频相关日志
跨输入源采样观看行为
LG 异议称语音仅特定条件采集
展开深读 · Read deeper收起深读

客厅里的家电,正在成为一个自带商业模式的一等网络参与者。这会改变企业对采购、会议室设备、访客网络乃至家庭隐私的判断方式。

电视过去是输出设备,句号。现在它是一扇窗——一扇会回看房间里还有什么的窗。当「显示」这个动作被附加了「采集」的收益,设备的默认行为就不再由用户的直觉来定义。

Why it matters / 为什么重要

任何带屏、带麦、带网的设备,都应该按「数据采集终端」而非「显示设备」来做尽调。会议室、门店与展厅的智能屏,采购条款里要写明遥测边界、离线行为与日志留存。

№ 03 / 07预测执法 · 数据画像
03

合成的怀疑:当拦车的理由来自一次数据库查询

Probable Causeway

404 Media 报道,美国边境巡逻队正在运行「预测性情报目标小组」(Predictive Intelligence Targeting Teams),分析美国人的金融活动与其他数据,再把情报转交地方警察,用于对并无具体犯罪嫌疑的人实施交通拦停。

海关与边境保护局(CBP)回应 404 Media 称,其使用的情报驱动分析符合法律、政策、隐私保护与监督要求,但拒绝讨论方法与数据来源。该报道建立在美联社此前关于车牌识别数据被用于边境执法目标锁定的调查之上。

来源 · Mike Bechtel《ONWARD!》(404 Media · CBP · Associated Press · Slashdot)

PITT预测性情报目标小组
金融活动被纳入分析的数据源
无具体嫌疑即可被交通拦停
展开深读 · Read deeper收起深读

Bechtel 的概括很准:这是「直觉」的数据库版本,只不过查询的末端停着一辆巡逻车。它不是种族画像,而是某种「数据画像」。

商业上的教训比执法本身更宽:当模型、记录与第三方数据共同生成一条行动建议时,仍然必须有人解释这个行动为何合法、可复核、公平。合成的怀疑依然是怀疑——它不会仅仅因为表格的列数够多,就自动变成正当程序。

Why it matters / 为什么重要

AI 决策链条里最脆弱的一环不是准确率,而是可解释的授权链。在把模型输出接进真实动作(拒贷、封号、告警、拦截)之前,先备好「凭什么可以这样做」的可审计答案。

№ 04 / 07AI 与科学 · 形式化证明
04

一份需要校对的证明:AI 递交了千禧难题的答卷

A Proof With a Proofreader

OpenAI 称其一个模型对 Navier-Stokes(纳维-斯托克斯)千禧年大奖难题提出了解法——这是克雷数学研究所七大著名未解难题之一,关注特定流体方程是否会崩溃。OpenAI 表示成果包含一份文稿与一份用 Lean(证明检查系统)写成的形式化证明。

这一主张在研究社区已引发争议:The Verge 与 Axios 报道了关于署名归属、以及该结果是否解决了问题「经典版本」的质疑。用大白话说:这是一个潜在的重要信号,而不是一座已经落定的奖杯。

来源 · Mike Bechtel《ONWARD!》(OpenAI · The Verge · Axios · Clay Mathematics Institute)

Navier-Stokes克雷千禧年七大难题之一
Lean形式化证明检查系统
存疑署名与问题版本均被质疑
展开深读 · Read deeper收起深读

最有意思的部分,也许是围绕这道数学题的社会喧哗。如果 AI 系统真能生成严肃的证明,科学就获得了一台新引擎;而如果这台引擎跑在研究者日常使用的商业工具里,科学同时也获得了一场关于署名、来源与「谁先看到哪个想法」的新争论。

证明可以是形式化的,围绕它的信任体系却依然高度人为。Bechtel 顺手挖苦了一句:这一周 Reddit 上冒出无数对证明持强烈意见的「数学专家」,是史上最书呆、也最不可信的一次「涌现」。

Why it matters / 为什么重要

形式化验证正在成为「机器产出可信度」的关键基础设施:机器生成、机器校验、人类裁定署名与意义。企业采用 AI 生成的高风险产出(代码、模型、法务文本)时,应问同一组问题——有没有独立的检查器?谁署名?谁担责?

№ 05 / 07数字主权 · 协作层
05

把协作层收回国界:瑞士给 3000 台电脑装上开源办公套件

Office Suite Switzerland

在一次由 172 名联邦雇员参与的小规模可行性测试(PoC BOSS)之后,瑞士联邦政府正把一个 3,000 工位的试点推向 openDesk——一套开源办公套件。

试点与 Microsoft 365 并行运行,而非立即替换;报道称该国军方网络部队推进得更快,因为主权与访问风险在防务场景里的权重不同。真正的考题是:日常办公、视频会议、文档与邮件,能否在政府规模上达到可靠性门槛。

来源 · Mike Bechtel《ONWARD!》(It’s FOSS · Slashdot · openDesk)

3,000试点工位数
172先导可行性测试人数
并行暂不替换 Microsoft 365
展开深读 · Read deeper收起深读

这不是 Linux 与 Windows 的爱好者之争,而是把采购当作彻头彻尾的地缘政治来做。各国政府正在追问:自己的协作层是否应该依赖另一个国家的法律、云、定价与故障画像。

对企业领导者而言,教训不是所有人都该逃离现有套件,而是供应商集中度已经变成一种战略依赖,「主权」如今成了一项功能需求。Bechtel 回忆几年前在瑞典,斯德哥尔摩的一个市政团队当面告诉他,他们不信任、也不会信任「云」,因为那是「美国人」的代称——一个清醒的提醒:所谓「上面」,其实是「某个地方」。

Why it matters / 为什么重要

把「供应商集中度」与「数据落地 / 司法管辖」从 IT 议题升格为董事会议题。评估协作层时,除了功能与价格,还要评估法律可达性、断供画像与退出成本。

№ 06 / 07半导体 · 掩模瓶颈
06

瓶颈是那块玻璃:High NA EUV 与掩模的尺寸问题

The Masked Foundry

ASML 与 Intel Foundry 表示 High NA EUV 光刻正更深地走向量产就绪,Intel 报告在 Panther Lake 的部分层上,跨认证、研究、开发与量产已处理超过 100 万片晶圆。High NA EUV 是使用极短波长光与更高数值孔径光学、在硅片上画出更小特征的制造设备。

两家公司同时在推进「拼接」(stitching)与更大掩模格式的工作——因为用来投影每一块芯片图案的那张模板,本身就可能成为瓶颈。

来源 · Mike Bechtel《ONWARD!》(ASML · Intel Foundry · Techzine)

100 万+已处理晶圆数(跨全阶段)
High NA更高数值孔径 EUV 光刻
掩模新的物理瓶颈所在
展开深读 · Read deeper收起深读

Bechtel 说这一期最「极客」的细节是:AI 芯片的未来,可能取决于我们那块……模板有多大?掩模一点也不光鲜,但它正是那台 4 亿美元的机器所「透过看」的东西。

当图案大过了窗口,产业要么把视场拼接起来,要么造一扇更大的窗。这就是纳米尺度上的基础设施战略——这一次,瓶颈是复印机的那块玻璃。

Why it matters / 为什么重要

算力供给的约束正在一层层向物理下沉:从模型到芯片,从芯片到光刻,从光刻到掩模玻璃。任何以「算力会一直变便宜」为默认前提的规划,都应为这条物理链条留出风险余量。

№ 07 / 07呈现即权力 · 地图投影
07

地图是现实的界面:联合国给墨卡托投影投了反对票

Later Mercator

联合国大会通过一项不具约束力的决议,鼓励各国政府、学校、国际组织与科技公司,在涉及相对陆地面积时使用 Equal Earth 等等积投影。美联社报道该决议以 164 票赞成、1 票反对、6 票弃权通过,美国投出唯一一张反对票。

要点并不是墨卡托投影在航海导航上算错了,而是一套为海上航线优化的地图,会严重扭曲公众直觉——让靠近两极的区域,看起来远大于非洲与赤道地区的实际比例。

来源 · Mike Bechtel《ONWARD!》(Associated Press · UN Press · Equal Earth)

164 : 1赞成 : 反对(6 票弃权)
Equal Earth被推荐的等积投影
不具约束力决议的法律性质
展开深读 · Read deeper收起深读

地图是现实的用户界面。换一种投影,就换掉了什么东西显得中心、巨大、渺小、临近或边缘。

这正是它该出现在一份科技通讯里的原因:每一块仪表盘、每一张图表、每一个默认排序、每一份 AI 摘要,都是一次投影。几何是技术性的,后果往往是文化性的。

Why it matters / 为什么重要

默认值即立场。企业在设计报表、排序、推荐与 AI 摘要时,实际上是在替用户决定「什么重要」。把默认投影当成一项需要被明示、被审计、被解释的产品决策,而不是一个工程细节。

Hidden Threads · 三条暗线

重量、判断、投影

周报的形式是「信号拼贴」,真正的价值在于把看似松散的消息,压成一组趋势判断。

01

抽象重新长出了重量

这一期的瓶颈都在物理层:电网与许可周期、冷却水与操作员、一块 4 亿美元机器透过去看的掩模玻璃。AI 的下一段约束,不在模型参数里,而在钢、玻璃与政治容忍度里。

02

设备与数据库正在改行做判断

电视从输出装置变成传感器,金融记录从档案变成拦车的理由。采集与推断的边界正在移动,而这次移动并没有经过一场重新谈判。

03

投影即权力,校验才叫结论

地图、仪表盘、默认排序与 AI 摘要,都是对现实的一次投影;而 Lean 里的形式化证明提醒我们:只有能被独立检查的东西,才配被称为结论。

Histories of the Future · 历史回响

1947 年的那只飞蛾,与「把抽象变成实物」

1947 年 9 月 9 日,哈佛 Mark II 的工程师在继电器里找到了第一只被记录在案的「计算机 bug」

工程师们发现一只真正的飞蛾卡在继电器中,于是把它用胶带贴进日志本,标注为「首次发现实际 bug 的案例」。「bug」这个词在工程界早已存在,所以这件事并没有凭空发明这个隐喻——它做了一件对后世技术人更有用的事:把一个抽象变成了可以捏在手里的实物。

Bechtel 说,这就是它「极客到顶点」的地方:每一次调试,仍然是在寻找那个本不该在那里的东西。有时是一个竞态条件,有时是一个畸形的假设。有一次,非常美妙地,它长着翅膀。这与本期七则信号彼此呼应:电力是钢与许可,掩模是一块玻璃,地图是一种几何选择,而怀疑,只是一次查询——抽象终究要落回某个可以被指认的实体上。

来源 · Mike Bechtel《ONWARD!》Histories of the Future(Computer History Museum · Smithsonian,1947-09-09)

Implications · 启示

对企业与研究者的四点启示

本期最值得带走的,不是某个单点产品,而是一组新的追问方式:这项能力要为多少物理与法律买单,又在替谁决定什么重要。

01

把电力与许可写进算力路线图

重启一座核电站要数年,做一块更大的掩模要重造光学。算力规划的时间单位正在拉长,供给的确定性来自工程与许可,而不是采购谈判。

02

按「采集终端」而非「显示设备」做采购

带屏、带麦、带网的设备默认在采集。会议室、门店与展厅的智能硬件,合同里要写清遥测边界、离线行为、日志留存与关停方式。

03

为模型驱动的行动准备授权链与独立校验

当模型输出接上真实动作,需要回答的不是「准确率多少」,而是「凭什么可以这样做、谁能复核、谁署名担责」。形式化校验与人类裁定要成对出现。

04

把主权与默认值当作可解释的产品决策

协作层的司法管辖、报表的默认排序、摘要的取舍口径——这些看似技术的选择,正在替组织和用户决定什么重要。它们应当被明示与审计。

“

这一期七则信号合起来在说:AI 的代价正在从算力账单,变成电网、玻璃与法律管辖上的账单;而与此同时,我们用来看世界的那些界面——电视、数据库、地图、摘要——正悄悄从记录者变成裁判者。