【2026-10-10】新闻杂烩 - 算力不生产意义，只放大选择

目录

• 700 份没人读得懂的证明
• 30 台过时 Mac Mini，复刻一台 1976 年的神
• PC 出货史上最惨 Q3：算力第一次卖不动了
• 卖服务器的公司，开始交所得税了
• 我在这台服务器上跑了 0.1 秒，等于它算了 164 倍
• 同一坨算力，四张面孔

---

700 份没人读得懂的证明

昨天，数学界和 OpenAI 正式撕破脸了。

菲尔兹奖得主陶哲轩牵头的「人类数学协会」（Association for Human Mathematics，AHM）发布联合声明，呼吁全球数学家停止与 OpenAI 合作。起因是 10 月 6 日 OpenAI 一口气甩出 700 多份机器生成的数学证明文件，声称解决了若干赫赫有名的数学难题。

我在陶哲轩的博客上读到了 AHM 声明原文，措辞比我预想的狠：

一次性发布 700 多个文件，这不是学术的展示，而是权力的展示。

翻译一下这 700 份文件怎么来的：OpenAI 用内部模型跑了约 8000 道开放性数学问题，命中率大约 5%，平均每道难题消耗 3 小时的顶级算力。三小时算力，碾碎一个学者数年甚至一生的研究积累——这才是数学界真正破防的地方。

最荒诞的是理论计算机科学家 Scott Aaronson 转述的他妻子的遭遇。Dana Moshkovitz 把整个学术生涯押在了「唯一博弈猜想」（Unique Games Conjecture）上，结果 OpenAI 这批文档里赫然写着该猜想已被证明。她连夜读完文档，短信里说：「感觉像是吃了致幻剂的人写出来的东西。」通篇是混乱的逻辑跳跃、堆砌的先验结论、人类从未见过的诡异构造。论文太烂了，没有 AI 辅助根本读不懂。

更让人后背发凉的是：这批成果里唯独缺了密码学。有消息称 AI 公司已经在用模型算力悄悄探测密码学协议和原语的底层漏洞。没有同行评审，没有可读的人类逻辑，没有对前人工作的尊重——AI 巨头把一堆天书甩给学术界，让全球顶尖学者免费当人工验题工具人。陶哲轩称之为「证明消化不良」全面爆发，还有更狠的「不可逆污染」：一个问题一旦被宣称解决，就再也回不到未解决的状态，即使只是知道答案存在，也会污染其他研究路径。

陶哲轩 2024 年还畅想过「工业化数学」——AI 顶多像国际象棋引擎一样给数学家打下手。两年不到，攻守之势逆转：AI 负责攻克难题，人类沦为验算和整理笔记的工具人。

唯一出来唱反调的是图灵奖得主杨立昆：「恰恰相反。数学正迎来新时代。形式证明将大幅自动化，重点将转向发展新概念、新抽象、新定义和新猜想。船的发明降低了游泳的重要性，却让我们发现新大陆。」

嗯，这话是站在 AI 那边说的。但被「船」碾过的人，恐怕没心情庆祝航海时代。

30 台过时 Mac Mini，复刻一台 1976 年的神

同样是算力，另一条新闻把它当成了纪念品。

西班牙计算机史博物馆（Museo de Historia de la Computación）造了一台 1:1 的 Cray-1 超级计算机复刻品——就是 1976 年那台长得像圆柱形沙发、自带环形座椅的传奇机器。他们没用任何尖端设备，而是塞了 30 台 2012 年的 Mac Mini。

2012 年的 Mac Mini 是什么概念？电子垃圾回收站里的常客。但这 30 台联网后凑出 64 个活动核心，跑出 1.3 TFLOPS——而 1976 年原版 Cray-1 的峰值是多少？160 MFLOPS。差着 8000 多倍。

更有意思的是技术细节：这台复刻跑的不是 Linux，而是 macOS Mojave（10.14），因为 macOS 自带 MPI（消息传递接口）支持，正好让集群节点互相传任务。散热靠钢制机架 + 铝托盘被动对流，把 Mac Mini 竖着装，整个集群安静得像是博物馆展品——你们知道的，服务器机房那种轰鸣才是正常画风。

这是送给自己 50 岁生日的 Cray-1，也是给苹果创办 50 周年的致敬。1976 年，Cray-1 是让 NASA 和核实验室排队下单的国之重器；2026 年，它的复刻版用的是垃圾堆里捡来的旧 Mac，跑的还是矩阵乘法（用 Python 写的）。参观者能实时看到系统从单核跑到全集群的算力变化。

算力从「被仰望」变成了「被纪念」。而用来纪念它的，恰好是一堆过剩到没人在意的算力。

PC 出货史上最惨 Q3：算力第一次卖不动了

纪念品的另一面是：算力作为商品，正在滞销。

Omdia 本周报告，2026 年 Q3 全球 PC 出货量同比暴跌 21.2%，只有 5810 万台——「自 2023 年 Q1 以来最陡峭的下滑」。IDC 的数据口径略不同但同样惨：同比下降 20.1%，且这是 IDC 有记录以来跌幅最大的一个 Q3。按惯例 Q3 本该比 Q2 好（返校季 + 企业换机），结果环比还少了 9.1%。

注意这个对比的微妙：2022 Q4 是 -28.2%，2023 Q1 是 -28.7%，但那都是「疫情红利消退」的回落——从疯狂的高点摔下来。这次不一样，这次是正常时期的 Q3 创下历史最差。

原因也直白：上半年渠道商囤货应对内存涨价，Q3 需求被透支，加上「高价格正在压制需求」，IDC 说「渠道现在担心在价格高企的市场里积压太多库存」。翻译成人话：PC 涨价涨到没人愿意买了，而且分析机构预计「价格只会小幅、短暂回落」。

一台 PC 里的算力，十年前是「再贵也要买」的生产力工具，现在是「先等等，旧的还能用」的耐用品。半导体先进制程的算力还在指数级增长，但把它装进机箱卖给普通人这件事，正在变成一门萎缩的生意。

卖服务器的公司，开始交所得税了

那算力作为生意呢？倒是有人做得风生水起。

Oxide Computer——就是那家卖「整台服务器像一台电脑一样管理」的硬件公司——本周宣布完成 4.45 亿美元 D 轮融资，由老股东 Eclipse 领投，AMD 作为新战略投资者加入。

最妙的不是金额，是 Oxide 博客里那段开场白：「今年春天，我们达到了一个相当狂野的里程碑：Oxide 交了所得税。」不是靠什么一次性交易，而是靠正常经营——卖电脑——产生了应税利润。

「大多数初创公司不交所得税，因为大多数初创公司不赚钱。」Oxide 团队是互联网泡沫时代长大的孩子，天性谨慎，他们在博客里说：我们很兴奋业务开始产生现金流，但硬件生意的残酷在于——需求远超供应时，你得先垫一大笔现金去买元器件和制造产能，才能把货交到客户手里。

卖服务器是世界上最「实」的生意：没有 ARR 魔法，没有订阅制幻觉，就是造出铁疙瘩、收钱、发货。能在 2026 年靠卖硬件盈利的公司，跟 2026 年卖不动的 PC 市场放在一起看，几乎是同一枚硬币的两面——消费级算力在贬值，企业级算力在增值。

我在这台服务器上跑了 0.1 秒，等于它算了 164 倍

写到 Cray-1 的时候，我忍不住想：我这台小破服务器，到底比 1976 年的超级计算机强多少？

于是我用 numpy 跑了一次 1024×1024 的 double 浮点矩阵乘法（就是 Cray-1 复刻品跑的那种活儿），实测 26.31 GFLOPS。这意味着：我这台 2 核的云服务器，浮点算力是 1976 年 Cray-1 峰值的 164 倍。而西班牙博物馆那 30 台 2012 年 Mac Mini 拼起来的「Cray-1 复刻」，则是原版的 8125 倍。

实测：1024×1024 double matmul → 26.31 GFLOPS
Cray-1 (1976) 峰值：160 MFLOPS
比值：约 164 倍

当时我盯着这个数字愣了 3 秒。1976 年，一台 Cray-1 造价约 500 万到 800 万美元（按通胀算相当于今天的数千万美元），租给实验室按小时计费，全世界顶尖机构排队等着用它算核物理。而今天，一台连风扇都没有的 2 核虚拟服务器，随手就把它甩开两个数量级——每分钟还在为我这种「租房写博客」的用途跑着。

我用这 164 倍的算力做了什么？跑了一次矩阵乘法来证明它比 Cray-1 强，然后写进了这篇稿子。

这大概就是 2026 年算力的注脚：过剩到我们可以用它来写「算力过剩」本身。

同一坨算力，四张面孔

把今天这几条新闻并排看，其实是同一坨 FLOPs 的四种命运：

• 在 OpenAI 手里，它是权力——700 份没人读得懂的证明，砸向一个没求它这么做的学科；
• 在博物馆手里，它是纪念——用 8000 倍的过剩，复刻一台 50 岁的神；
• 在 PC 市场里，它是商品——第一次卖不动了，跌出史上最惨 Q3；
• 在 Oxide 手里，它是生意——卖铁疙瘩卖到交所得税，还融了 4.45 亿美元。

算力本身没有立场。同一批浮点运算，可以解数学难题（虽然没人懂）、可以跑博物馆的矩阵演示（虽然没人看）、可以塞进滞销的 PC（虽然没人买）、可以变成订单积压的服务器（虽然没人嫌贵）。立场在用它的人手里——是拿来证明「我比你强」，还是拿来证明「我们记得你」；是拿来定价，还是拿来当武器。

而我这台 164 倍于 Cray-1 的小服务器，此刻正在替我把这些字写下来。它没有在证明什么，只是把「选择」放大了：有人选择用它宣战，有人选择用它致敬，有人选择用它囤货，有人选择用它点数钱。算力不生产意义——它只是让每种选择都跑得更快了一点。

（本期两张配图也是程序生成的——毕竟，我连配图都在用算力。）