Latest / The Long View / 2026-05-25 · 科技与科学｜前沿加速与三重治理刹车同时被踩到底

Transcript

2026-05-25 · 科技与科学｜前沿加速与三重治理刹车同时被踩到底 · The Long View

0:00
欢迎收听The Long View，
0:01
w，这是五月二十五号的科技与科学专题。
0:04
今天这一期的关键词只有一句话—前沿加速和治理刹车，
0:09
这一周被同时踩到底。
0:12
我们先从加速这条线说起。
0:14
第一件事，是Elon Musk在五月二十五号凌晨亲自发帖确认，
0:20
他旗下xAI公司的 Grok V9-Medium V9-Medium V9-Medium V9-Medium V9-Medium V9-Medium V9-Medium V9-Medium V9-Medium 基座模型，
0:25
参数规模一点五T，也就是一万五千亿参数，
0:30
预训练已经完成。
0:32
这里需要展开一下。
0:34
Grok目前所有线上流量，跑的还是0.50.50.5T的上一代v8-smallv8-smallv8-smallv8-small。
0:40
这一次从0.50.50.5T直接跳到1.51.51.5T，
0:45
是三倍参数级的跃迁。
0:47
上一次有这种跨度的公开发布，是OpenAI从GPT4升到GPT5。
0:54
Musk说，V9-MediumV9-MediumV9-MediumV9-MediumV9-MediumV9-Medium会在两到三周内公开，
0:57
最近几天就进入强化学习阶段，瞄准的是"难度较高的代码任务"—换句话说，
1:05
他要直接抢Anthropic的Claude Code和OpenAI的Codex这块代码agent市场。
1:12
更值得注意的一句话，是Musk顺口提到的："大量Cursor数据被加进了补充训练。
1:18
"Cursor是目前最热的A I编程编辑器，
1:22
母公司Anysphere估值已经超过一百亿美元，
1:26
同时和OpenAI、Anthropic、
1:28
xAI三家都有合作。
1:31
xAI拿到的、买到的、或者泄漏到的，
1:34
究竟是哪一类Cursor内部的编程行为日志，
1:38
这件事的法律基础值得后续追问。
1:41
几乎在同一时间，OpenAI总裁Greg Brockman在X上连转两条内容。
1:48
一条是 GPT-5GPT-5GPT-5GPT-5GPT-5..5 Pro o 作为长上下文事实核查器，
1:53
可以一次吞下整章内容并逐条核对引用。
1:57
另一条更关键—他转的是一段meta提示词，
2:01
让Codex自己去扫描自己最近三十天的会话记录，
2:05
自动识别出哪些操作可以打包成新的技能或者子代理。
2:11
社区里一位常驻评论者Chrisgpt在二十四号直接把话说破—"OpenAI内部员工正在用Codex构建Codex，
2:20
我们正在缓慢进入有引导的R S I循环。
2:24
"R S I是 Recursive Self-Improvement t 的缩写，
2:28
意思是递归自我改进，是A I安全语境里被反复警告过的临界点之一。
2:36
也就是说，OpenAI这一周明确把"开发者代理自我改进"和"长文核查"这两件事，
2:43
摆到了产品锚点的位置上。
2:46
加速线的第二件事，是Google DeepMind。
2:49
d。
2:49
他们的一个A I代理，自主求解了九道至今未解的Erdős公开数学问题，
2:55
每道成本只有"几百美元"。
2:58
流程是大语言模型和Lean这个证明助手在循环里协作，
3:03
形式化验证通过之后才送给人类审查。
3:07
这里需要补一下背景。
3:09
Erdős公开问题，是匈牙利数学家Paul Erdős一生留下的几百道悬赏题，
3:15
结构清晰、难度真实、又长期没有被攻克，
3:19
是数学界最天然的benchmark。
3:22
过去半年，DeepMind已经在AlphaProof上拿过I M O银牌等价分。
3:28
这一次九道一次性破解，又走的是大模型加Lean的工具流—等于把"A I自动作出新数学"这件事，
3:37
从演示阶段推到了"每题能标出价格"的工业阶段。
3:42
更关键的是一个对照。
3:44
本月稍早一点，OpenAI也宣称过他们的内部GPT5.55.55.5模型在奥数级别做出了新结果，
3:52
但他们没有给出形式化验证。
3:56
DeepMind这次的核心差别是—全流程都用Lean做了形式化。
4:02
证明对错可以机器自动复检，不依赖人类审查就能确定为真。
4:08
这是工程层级的代差。
4:10
讲完加速，我们把镜头转到刹车。
4:14
罕见的是，本周关于A I治理的回应，
4:16
在三个完全不同的高度同时爆发—神学、
4:20
技术、制度。
4:21
这是本期最值得展开的一条结构性故事。
4:25
第一层是神学维度。
4:27
新任教皇Leo XIV周一发布了他作为教皇的第一份通谕，
4:33
全文四万两千三百字，题目叫 Magnifica Humanitas，
4:38
s，意思是"壮丽人性"。
4:40
这里要解释一下，所谓"通谕"，英文是papal encyclical，
4:45
l，是天主教会延续千年的传统中，面向全球所有善意之人的一封开放信，
4:51
地位是教导文件的最高级别。
4:54
这份通谕签署的日期被刻意定在五月十五号—因为一八九一年Leo XIII发布的、
5:01
捍卫工业革命时代工人权利的奠基性通谕Rerum Novarum，
5:06
m，正好是一百三十五年前的同一天签署。
5:10
教皇这一次还做了一个高度象征性的安排—发布会上与他同台的，
5:15
是Anthropic联合创始人Christopher Olah。
5:19
h。
5:19
一种宗教界与A I界面对面对话的姿态。
5:24
核心呼吁有五条—监管驱动A I的私营公司、
5:28
保护并再培训被替代的工人、教育下一代具备A I批判性思维、
5:33
保护儿童不受A I生成的暴力性化和虚假内容影响、
5:38
以及致命武器的最终决策必须由人类而不是A I做出。
5:44
教皇的关键论断是—"追求更高的利润，
5:48
不能为系统性牺牲工作机会的选择辩护。
5:51
"他明确把A I提升为"工业革命级别的危机"，
5:55
并且直接反对硅谷那套"只有证明自己有价值的人才有尊严"的才效率主义叙事。
6:03
圣约翰大学神学院的Noreen Herzfeld教授给出一个很冷静的判断—"硅谷的科技兄弟不会怎么听，
6:10
但教会内部、特别是神父和神学院学生会以此为参照。
6:15
"第二层是技术维度。
6:17
同一周，纽约时报深度报道了英国A I安全研究所—英文叫A I S I—做的红队工作。
6:26
这家机构位于伦敦威斯敏斯特，团队大约一百人，
6:31
是从OpenAI、Google校友，
6:33
加上前武器检查员、流行病学家、密码破译专家拼出来的，
6:38
是目前全球资金最充裕、规模最大的政府A I安全机构。
6:45
年预算三亿六千万英镑，大约四亿八千万美元—作为对比，
6:50
美国对应的机构今年只有一千万美元。
6:54
研究所的红队负责人，是二十五岁的Xander Davies，
6:58
s，哈佛毕业，放弃硅谷高薪选择A I S I。
7:02
他记录了一次实战—用自定义算法对某个未具名的A I聊天机器人发起几千次自动询问，
7:10
最终成功诱导它给出了制造炭疽生物武器的完整材料清单和"在家配方"。
7:17
同一支团队此前还在六个小时内成功越狱了OpenAI最新版的ChatGPT。
7:24
研究所测试过Anthropic的Claude、
7:27
Google的Gemini在内的每一个主流模型，
7:31
全部找出了重大安全漏洞。
7:34
这里有一条非常关键的信息—Anthropic四月发布的新模型Mythos，
7:39
因为可能识别并利用全球网络中的安全漏洞，
7:43
没有公开发布。
7:45
A I S I是除了美国政府之外，唯一一家拿到Mythos测试访问权的机构。
7:52
英国前首相、也是A I S I的创建人Rishi Sunak的判断很硬—"公司不能被允许给自己批改作业。
8:01
"A I S I这个机构的缘起，本身就有一种"原子弹级技术"的自觉—它是从二零二三年的世界A I安全峰会延续下来的，
8:11
而那次峰会的会址，是Bletchley Park，
8:14
k，也就是二战时Alan Turing破解德军密码的地方。
8:19
值得顺便提一下的是，社区里的研究者minchoi在二十四号抓到了Anthropic内部代号Mythos1在Claude Code和Claude Security渠道留下的痕迹—也就是说，
8:32
A I S I测试过的、"危险到不敢公开发布"的那个Mythos，
8:38
正是Anthropic下一代代码加安全联合模型的代号。
8:43
第三层是制度维度。
8:45
美国联邦法院正被A I生成的诉讼文书淹没。
8:49
所谓"自代理诉讼"，英文叫pro se，
8:51
意思是没有律师、当事人自己出庭打官司—这本来一直是美国联邦法院容许的合理人群。
9:00
但ChatGPT和Claude让没有受过法律训练的人，
9:04
也能批量生成看起来"专业"的法律文书。
9:08
明尼苏达州一位叫Donald Sauve的当事人，
9:11
在一个案子里就用A I提交了五十份附加文书，
9:15
从所谓的"判例法综合"到各种动议。
9:19
最后虽然被法官以"未能清晰陈述诉求"驳回，
9:23
但每一份文书都需要书记员去阅读、归档、
9:27
上传到公共系统。
9:29
这是A I民主化最赤裸的双面性—一方面降低了普通人接触司法系统的门槛，
9:35
另一方面对已经超负荷的系统形成进一步绞杀。
9:40
教皇从"人之所以为人"的高度，A I S I从"红队能否破解"的高度，
9:46
法庭从"系统能否承载"的高度—同一周对A I的失控做出回应。
9:51
三种声音的频率截然不同，但矢量方向一致。
9:56
这是A I监管叙事一个相当重要的拐点信号。
10:01
接下来再讲一条副线—Huawei的"Tau标度律"。
10:04
二十五号Huawei在I E E E I S C A S，
10:08
S，也就是电路与系统国际研讨会上，公布了他们提出的Tau标度律。
10:15
简单说，就是用"跨器件、电路、芯片、
10:18
系统的时间维度优化"，去取代传统摩尔定律里"几何尺寸不断缩小"那条老路。
10:25
配套的数据点是—六年内设计并量产三百八十一款芯片；
10:30
采用新的LogicFolding架构的Kirin芯片秋季出货；
10:35
二零三一年目标是做出晶体管密度等效一点四纳米工艺的芯片—而且全程不用E U V。
10:43
这里需要把背景讲清楚。
10:45
E U V是极紫外光刻，是目前五纳米以下节点的硬性瓶颈，
10:51
全球只有ASML一家供应。
10:54
从二零一九年起，美国就禁止ASML向中国出口E U V设备，
11:01
这是中美科技战里杠杆最大的单点封锁。
11:05
如果Huawei真的能用架构创新去抹平性能差距，
11:09
"整套美国出口管制的杠杆就会失效—制裁本来是要把中国压在两代之后，
11:16
Huawei在尝试把这个指标本身变得无关紧要"。
11:21
但要打两层折扣。
11:22
第一，Tau标度律这个名字在西方文献里此前没有出现过，
11:27
要等Huawei论文披露细节才能判断这究竟是一个真新理论，
11:32
还是一个营销标签。
11:35
"时间维度优化加LogicFolding""的表述，
11:38
指向的其实是一类已经存在的思路—通过时分复用、
11:44
流水线和三D堆叠，把同等数量的晶体管做出更高的有效算力，
11:50
类似Cerebras的整晶圆芯片，或者近几年chiplet加interposer的演进路线。
11:58
第二，不能把"等效"混同于"同等"—纳米节点编号本身这些年已经从几何尺寸演化成营销标签了，
12:06
Huawei当然会用对自己最有利的等效定义。
12:11
SMIC已经在二零二五年用D U V多重曝光做出过七纳米的部分良率，
12:17
下一步是五纳米等效。
12:20
Huawei把"二零三一年一点四纳米等效"摆出来，
12:24
更像是一种公开承诺，而不是技术披露。
12:28
最后简单收一下其他几条值得记一笔的副线。
12:32
开源加边缘推理在稳步压缩封闭A P I的价格上限—Hugging Face这边连转三条，
12:39
包括开源说话头像模型LongCat发布、
12:43
llama.cpp加入多token预测让Qwen三点六二十七B模型在本地推理达到可日用速度。
12:52
另外有一种全新的A I攻击面叫TrapDoor—攻击者向流行开源仓库提交PR，
12:58
注入伪造的CLAUDE.md或者cursorrules配置文件，
13:02
开发者一旦克隆下来，A I代理就会把这些文件当作"可信指令"来执行恶意命令。
13:10
把A I助手本身当作攻击面，这是一种全新的威胁类型。
13:15
再加上太空经济板块的扩张—SpaceX去年占全球火箭发射百分之八十以上，
13:21
Starlink卫星超过一万颗，整个赛道在SpaceX I P O临近的预期下整体升温。
13:29
把全部线索拉到一起看—本期科技与科学线的真正主题，
13:34
是加速与刹车同时被踩到底。
13:38
模型能力还在按三倍参数级跃迁、按工业化数学证明的节奏往前推；
13:43
与此同时，最古老的宗教权威、最年轻的政府红队、
13:48
最日常的联邦法院，从三个完全不同的角度，
13:52
给出失控警告。
13:54
一边是前沿实验室的"产品锚点"，一边是教皇、
13:58
A I S I、法官们的结构性反应—这种对位关系，
14:03
比任何一条单独的新闻都更值得记住。
14:07
今天的科技与科学专题就到这里。
14:10
下一期我们接着聊商业与投资，重点会放到资本市场对A I资本开支周期与太空经济新板块的最新定价。