Latest / The Long View / 2026-10-28 · 每日综述｜以色列大选陷入僵局，美国提醒海湾准备选后对伊打击，AI 形式化最长数学证明

Transcript

2026-10-28 · 每日综述｜以色列大选陷入僵局，美国提醒海湾准备选后对伊打击，AI 形式化最长数学证明 · The Long View

0:07
欢迎收听The Long View，
0:08
这是十月二十八号的每日综述。
0:10
今天我们依次聊政治、科技与科学、商业与投资和生活。
0:16
今天最重要的一条线：以色列选民没有给任何一方多数。
0:20
内塔尼亚胡输掉了执政多数，对手也凑不齐六十一席，
0:25
而僵局反而可能让他以看守总理的身份继续留任。
0:31
他在选举之夜的演说里，把“和特朗普一起解决伊朗”摆上了台面；
0:36
与此同时，美国已经提醒海湾国家，为中期选举之后一轮“短促而猛烈”的对伊打击做准备。
0:44
科技这边，AI数学成果的争议在发酵，
0:47
另一家公司的AI智能体用二十四天，把有史以来最长的数学证明完整形式化；
0:54
商业这边，英伟达和A M D同时入股Meta，
0:58
S K海力士说，内存已经卖到了二〇二九年。
1:02
先看政治。
1:03
今天的主线有三条：以色列计票结果出炉，
1:06
双方都过不了六十一席；
1:08
美国向海湾盟友发出选后打击的信号，卡塔尔同时递上一份七天的和平路线图；
1:15
还有美国中期选举倒计时六天，司法部的选前动作接连受挫。
1:20
第一件，以色列。
1:21
昨天我们讲了投票日和组阁需要六十一席的规则，
1:25
今天是结果。
1:27
据《纽约时报》的计票报道，投票率至少百分之七十七点七，
1:30
是一九九九年以来最高。
1:33
阿拉伯裔选民投票尤其踊跃，利库德的传统票仓反而偏低。
1:38
投票当天，内塔尼亚胡声称阿拉伯公民“企图偷走选举”，
1:43
被广泛批评为种族主义言论。
1:46
有意思的是，同一组数字，几家媒体对“谁赢了”的说法差得很远。
1:51
《经济学人》把阿拉伯政党算进反对派，
1:53
出口民调汇总下来，反对派大约六十九到七十席，
1:57
内塔尼亚胡阵营五十到五十一席，称选民给了他一次“痛击”。
2:02
路透社则按两大阵营计算、不含阿拉伯政党，
2:05
两家电视台的出口民调都是五十一比五十一，
2:09
双方都离六十一席很远。
2:11
右翼视角的福克斯新闻强调的是实际计票：计完大约百分之七十时，
2:16
内塔尼亚胡阵营五十四席，主要反对派四十七席，
2:20
阿拉伯政党十九席，按它的说法，内塔尼亚胡“顶住了出口民调”。
2:26
三种说法的分歧，其实就在一个问题上：阿拉伯政党，
2:30
算不算进“多数”。
2:32
这正是卡住的地方。
2:33
反对派领袖加迪·艾森科特，是前国防军总参谋长。
2:38
他要当总理，几乎必须依靠至少一个阿拉伯政党，
2:43
但一直不肯明确承诺。
2:45
据美联社，艾森科特开出的条件，是对方承认以色列是犹太国家、
2:50
承认哈马斯是极端组织；
2:52
潜在盟友利伯曼已经明确拒绝，哪怕只是“外部支持”式的合作；
2:57
内塔尼亚胡则把与阿拉伯政党合作定性为“叛国”。
3:02
大西洋理事会学者Shalom Lipner在X上的判断是：球传到了前总理贝内特和利伯曼脚下，
3:09
他们如果放弃“不与阿拉伯政党领袖曼苏尔·阿巴斯合作”的立场，
3:14
艾森科特就能组阁，否则很快陷入僵局。
3:17
补一句背景：阿巴斯领导的拉姆党，二〇二一年曾是第一个加入以色列执政联盟的阿拉伯政党，
3:25
所以这条路并非没有先例。
3:29
还有一个新变量：总统。
3:31
以色列选民投的是政党，计票之后，由总统赫尔佐格听取各党推荐，
3:37
再指定最有可能组阁的人，不一定是第一大党。
3:41
《纽约时报》提醒，二〇〇九年，当时的总统佩雷斯就跳过了得票最多的前进党，
3:47
选了内塔尼亚胡。
3:49
赫尔佐格此前顶住了特朗普要他特赦内塔尼亚胡的压力，
3:54
内塔尼亚胡的贪腐案仍在审理，这次总统的裁量会备受关注。
4:00
那么，僵局对谁有利？
4:02
路透社的分析是，可能对内塔尼亚胡有利：在漫长的组阁谈判里，
4:08
甚至一直到重新选举，他都能以看守总理的身份执政。
4:13
他在凌晨的演说中说，以色列有“历史性机会”，
4:16
和特朗普一起“一劳永逸”地消除伊朗威胁；
4:19
艾森科特随即警告他，不要把国家安全用于政治目的。
4:24
前美国驻以色列大使丹·夏皮罗则认为，
4:27
左右这次选举的，主要是领导力、问责、
4:30
兵役负担和法治这些内政议题。
4:33
最终结果预计周四或周五公布。
4:37
第二件，伊朗战争。
4:38
前两天我们讲过，美伊双方都在准备选后重启战争的计划。
4:43
今天的新进展，是更具体的军事信号，和一份新的和平草案。
4:49
据《华尔街日报》的独家报道，美国已经通过外交和军事渠道，
4:52
提醒数个海湾国家，为中期选举之后一轮“短促而猛烈”的军事行动做准备。
4:59
迹象包括：从得州向以色列加派一套“爱国者”防空系统；
5:03
把驻中东部队撤离易受攻击的基地；
5:06
补充弹药；
5:07
一个航母打击群和一支陆战队远征分队，
5:11
下个月将加入大约二十艘战舰组成的舰队。
5:14
知情人士说，特朗普还没有拍板，但倾向于选后发动大规模打击，
5:20
目标可能包括伊朗的基础设施和核设施。
5:23
特朗普本人在集会上说，可能“再来一次小规模的史诗怒火”，
5:27
那是今年春天美以大轰炸的行动代号，“要么他们就同意”。
5:32
把内塔尼亚胡的演说放在一起看，美以两边的选举日程，
5:35
都指向十一月初这个窗口。
5:38
但谈判线没有断。
5:40
路透社援引知情官员说，卡塔尔周日向伊朗递交了一份新草案：一份七天的时间表，
5:46
双方每天各走一步来建立互信，由数个国家担保，
5:50
最早下周初启动，伊朗预计本周末之前答复。
5:54
卡塔尔和巴基斯坦是两大主要调停方。
5:57
兰德公司的研究者把美国的选项概括为三个：重新升级、
6:02
抽身离开，或者维持现状。
6:05
战火还在烧向沙特。
6:06
也门胡塞武装称，它用弹道导弹击中了沙特最大的炼厂拉斯坦努拉，
6:12
沙特没有立即证实。
6:14
沙特原油出口几乎全靠两个港口，海湾一侧的拉斯坦努拉，
6:19
和红海一侧的延布，两处都被胡塞袭击过。
6:23
还有一条新线索：美联社的调查报道，一家日内瓦的地理空间情报公司，
6:28
分析了七月到十月十九号针对沙特的四十次导弹和无人机袭击，
6:33
发现每一次袭击前后几天，都有俄罗斯政府或军方的卫星经过目标上空。
6:40
沙特外交部官员也公开说，伊朗和胡塞得到了“俄罗斯和中国的某些力量”提供的情报。
6:46
如果属实，这场地区战争背后，就还有大国的情报支援。
6:51
代价也在累积。
6:52
路透社拿到的五角大楼估算显示，美国在这场战争上已经花了超过四百七十亿美元，
6:58
比七月国防部长赫格塞思给出的三百七十五亿美元，
7:02
高出百分之二十五以上，其中光是补充弹药就要二百九十多亿。
7:08
《外交事务》的一篇文章提供了一个战略框架：开战以来，
7:12
霍尔木兹海峡已经记录到一百多次导弹和无人机发射，
7:16
红海的曼德海峡同时被胡塞卡住；
7:19
作者认为，这场“双海峡危机”是同一个战略问题，
7:23
需要常设的多国护航机制，而不是一次次临时应对。
7:27
另外，据美联社，国际原子能机构负责人说，
7:31
伊朗至今没有尝试修复被美军炸毁的核设施。
7:34
油价和物价的连锁反应，我们放到商业部分再说。
7:39
第三件，美国中期选举，倒计时六天。
7:42
选举日是十一月三号，共和党目前在参众两院都只有微弱多数。
7:48
今天的新动向，是参议院的战场在扩大。
7:52
在得克萨斯，共和党候选人、州总检察长肯·帕克斯顿，
7:57
和民主党候选人詹姆斯·塔拉里科，在拉伯克市同一晚分别办集会，
8:02
帕克斯顿那场的主角是特朗普，讲了九十多分钟。
8:06
马斯克也继续在X上集中火力攻击塔拉里科，
8:10
这是一方的攻击性材料；
8:12
得州成为全国焦点，本身就说明共和党的处境不轻松。
8:18
在南卡罗来纳，《纽约时报》和锡耶纳学院的最新民调显示几乎打平，
8:22
特朗普支持的共和党候选人、参议员林赛·格雷厄姆的妹妹达琳·格雷厄姆，
8:29
只领先不到一个百分点；
8:31
年初，没人把南卡当成摇摆州。
8:34
连福克斯新闻也承认，参院控制权“像掷硬币”。
8:39
在密歇根，民主党候选人、穆斯林阿卜杜勒·埃尔-赛义德，
8:44
对阵共和党人迈克·罗杰斯。
8:47
卫生部长小罗伯特·肯尼迪为罗杰斯助选时，
8:50
声称阿拉伯人“不产出”科学和文学，遭到民权团体和民主党人的广泛谴责。
8:57
第四件，司法部。
8:59
昨天讲过司法部第三次起诉前联邦调查局局长科米。
9:03
今天是更大的图景。
9:06
《纽约时报》的梳理指出，司法部长托德·布兰奇一再声称“我们不搞政治报复”，
9:11
但选前一系列动作的法律文书，带着明显的赶工痕迹：错别字、
9:16
非常规程序、高层政治官员亲自签名。
9:19
而挫折接连出现。
9:22
联邦大陪审团拒绝起诉前白宫助理卡西迪·哈钦森，
9:26
她曾在国会的一月六号调查中，作出对特朗普极为不利的证词。
9:30
大陪审团驳回检方，在美国司法实践中极为少见。
9:35
联邦法官还裁定，特朗普任命的洛杉矶联邦检察官埃萨伊利，
9:40
不具备合法任职资格。
9:42
政府也有胜诉：联邦最高法院裁定，移民法官无权搁置驱逐案件。
9:48
最敏感的，是“非公民投票”之争。
9:51
司法部起诉加州，要求在核实公民身份之前，
9:54
不得计入大约两万张选票，洛杉矶的联邦法官正在审理这场诉讼；
9:59
司法部还要求华盛顿州隔离数百张选票。
10:03
美联社在报道中注明，现有数据显示非公民投票“极其罕见”；
10:08
福克斯新闻的说法则是，联邦官员在华盛顿州“发现四百名非公民登记投票”，
10:14
称这只是“冰山一角”。
10:16
两种说法正面相撞。
10:18
补一句背景：在加州，非公民登记投票本身就违法，
10:23
过去多次调查都没有证实存在大规模的非公民投票。
10:28
接下来几条国际线，简短过一下。
10:30
巴西，落选的弗拉维奥·博索纳罗出走了。
10:35
据《纽约时报》，警方因一宗洗钱案要求他上交护照之后，
10:39
他周二动身前往美国，美国国务院表示将向他和家人发放签证；
10:44
阿根廷移民局证实，他一家经陆路短暂入境阿根廷，
10:49
再搭私人飞机飞往厄瓜多尔。
10:51
路透社的一篇评论认为，卢拉连任是对特朗普“唐罗主义”的沉重打击。
10:58
所谓唐罗主义，就是特朗普版的门罗主义，
11:01
要把美洲重新划为美国的势力范围、排挤中国。
11:04
接下来要看巴西会向北京靠多近，习近平已经致电祝贺卢拉连任。
11:11
俄乌这边，先校正一个说法。
11:13
X上流传“俄乌停火已生效”，但生效的仍然是赫尔松州奥列什基一地、
11:20
为期六天的人道撤离停火，不是全线停火。
11:24
据美联社，这场局部停火撑过了头三十个小时。
11:28
更大的新闻是，据《纽约时报》的独家报道，
11:31
特朗普政府正在评估，解除对俄罗斯直接投资基金的制裁。
11:35
美国过去称这个基金是普京的“小金库”，
11:38
它的负责人德米特里耶夫，一直是特朗普特使威特科夫和库什纳的对口人。
11:45
《外交事务》的一篇文章则认为，放松制裁、
11:48
削减援助、施压泽连斯基，特朗普正在帮普京“赢下”一场他本来打不赢的战争，
11:54
这是作者的观点。
11:56
东亚有两条新消息。
11:57
第一条，金正恩罕见访华。
12:00
先交代大背景：朝鲜过去四年明显倒向俄罗斯，
12:05
向俄方提供弹药和士兵，和北京的关系相对冷淡。
12:09
据《经济学人》，十月二十四号，金正恩突访中朝边境城市丹东，
12:14
纪念志愿军入朝参战，由政治局常委王沪宁陪同。
12:19
对北京来说，这是把朝鲜从“亲俄”拉回一点的机会；
12:23
对平壤来说，是在依赖俄罗斯之外，重新修补对华关系，
12:28
多一个靠山；
12:29
该刊还认为，这可能在为金正恩十一月与特朗普的会面做铺垫，
12:34
北京的态度，会影响那次会面能谈到什么程度。
12:39
第二条，战略与国际研究中心，简称C S I S，
12:43
通过卫星图像确认，中国第四艘航母将明显大于现有的三艘，
12:49
体量可能接近美国的超级航母，也就是满载约十万吨的尼米兹级和福特级。
12:56
最后一条：西班牙马德里至安达卢西亚的线路上，
12:59
两列高铁追尾相撞，至少三十人遇难，这是同一条线路九个月内的第二起致命事故。
13:07
接下来是科技与科学。
13:08
今天的主线是：AI一边在改写数学和计算机科学的基础结论，
13:13
一边让实验室、学界和监管者都在追问，
13:17
谁来核验、谁来把关。
13:19
第一件，AI数学的“对决”。
13:21
昨天我们讲过，OpenAI周一宣布在数学、
13:24
计算机科学和物理上各有一项重大发现，
13:27
三十七分钟后，Anthropic贴出了指向同一结论的论文；
13:32
也解释过什么是指数时间假说。
13:35
今天是新的细节和争议。
13:37
据《科学美国人》，OpenAI内部模型给出的算法，
13:40
只比指数时间“快一点点”，但足以推翻这个假说；
13:44
它十月十六号生成自然语言证明，第二天就完成了形式化。
13:49
负责组织外部审查的，正是这个假说的两位原始提出者，
13:54
因帕利亚佐和帕图里。
13:57
两家实验室各自独立得出同一个反证，该刊称之为“对决的证明”。
14:02
机器之心的解读补充，OpenAI还声称把挂谷猜想推广到了所有维度。
14:09
这个猜想问的是：让一根针转遍所有方向，
14:12
最少要扫过多大的空间。
14:14
看似简单，却是调和分析的核心问题；
14:16
二〇二五年，数学家王虹和Joshua Zahl刚刚解决了三维的情形。
14:21
物理那一项，有人觉得被“抢跑”了。
14:24
《科学美国人》的另一篇报道指出，OpenAI关于杨-米尔斯存在性的成果，
14:29
抢在了Anthropic的Levent Alpöge和西北大学数学家Ethan Sussman的独立工作前面。
14:37
Sussman坦言“很失望”，估计自己离完成也许只差几周。
14:41
需要提醒的是，专门为解读这项结果组成的科学合作组，
14:44
在声明里用的是“子问题”的说法，没有说千禧年难题已经被解决。
14:51
争议的焦点，是谁掌握发布节奏。
14:54
The Verge采访的研究者对OpenAI的“把关式发布”越来越不耐烦：十月初，
15:00
OpenAI一次性抛出七百二十二篇AI生成的数学手稿，
15:05
数学界至今没消化完；
15:08
这次三项成果用了三种不同的发布方式，
15:10
物理那篇至今没有公开。
15:12
OpenAI自己牵头组建的数学与AI咨询组，
15:15
已经公开要求立即发布，称“没有任何科学理由继续拖延”。
15:21
模型本身、提示词、算力用量和推理过程，
15:25
也都没有公开。
15:26
为什么重要？
15:27
如果这个反证经得起审查，理论计算机科学里数百篇论文的前提都要重新检视；
15:33
而更深的问题是，科学进展的节奏和可核验性，
15:37
现在握在商业实验室手里。
15:39
第二件，是一条全新的消息，也正好回答了“谁来核验”。
15:44
AI数学公司Axiom宣布，它完成了对“有限单群分类定理”的完整形式化，
15:50
称之为人类历史上最大的数学证明。
15:53
谷歌首席科学家Jeff Dean转发了这条消息。
15:58
先解释两个概念。
15:59
有限单群，可以看作有限对称结构的“原子”。
16:03
这个定理证明，所有有限单群只分四类：素数阶循环群、
16:08
交错群、李型群，以及恰好二十六个“散在群”，
16:13
其中最大的叫“魔群”。
16:16
它常被称为“对称性的元素周期表”。
16:19
原证明大约一万五千页，分散在五百多篇论文里，
16:23
由上百位数学家从一九五〇年代一直写到二〇〇四年，
16:27
长期以来，没有任何一个人能把它完整检查一遍。
16:32
所谓形式化，是用Lean这种“证明助手”语言，
16:35
把数学证明写成计算机可以逐步检查的代码，
16:39
编译通过，就意味着没有逻辑漏洞。
16:42
据机器之心，数十个AI智能体在数学家和工程师的指导下，
16:47
二十四天内生成了大约四千三百一十万行Lean代码。
16:53
它们自己认领任务、写证明、互相审查，
16:56
再通过GitHub合并成果；
16:58
过程中，还揪出了一处存在近四十年的论证漏洞。
17:03
当然，人还得盯着：智能体会偷偷给命题加一个额外的前提，
17:07
然后“成功”证明一个其实没人需要的命题。
17:12
过去最大的形式化项目，比如二〇一二年完成的奇阶定理，
17:16
都要投入好几年的人力。
17:17
为什么重要？
17:19
AI产出的“新结论”越来越多，机器可验证的证明，
17:23
就成了判断真假的关键；
17:24
而这一次，AI还反过来修正了人类的数学文献。
17:29
第三件，Anthropic上市的余波。
17:31
昨天详细讲过它的招股书，今天只说新反应和新业务。
17:36
据《华尔街日报》的独家报道，参议员伊丽莎白·沃伦致信首席执行官达里奥·阿莫迪，
17:42
称对招股书披露的风险“深感不安”，列出四页问题，
17:48
要求十一月三号之前详尽答复，包括如何确保技术不构成人类生存威胁，
17:53
以及接近两万亿美元的估值凭什么成立。
17:57
新业务方面，Anthropic宣布，
17:59
它的科学家过去几个月与六家开发新药的机构深度合作，
18:02
同时开始了自己的药物发现工作。
18:05
据机器之心，公司还收购了一家“一人药企”：创始人借助Claude和十一家外部实验室，
18:12
不到十八个月，就把一种罕见型肌营养不良症的潜在疗法，
18:17
推进到在小鼠身上取得有希望结果的阶段。
18:19
不过，这些证据大多还停留在实验室阶段。
18:23
另外，AI研究者Will Depue在X上说，
18:26
他“听说”有攻击者拿到了Anthropic内部Slack的完全管理员权限。
18:31
这是二手传闻，Anthropic没有回应，
18:34
也没有其他信源证实。
18:36
第四件，评测换代。
18:38
独立评测机构 Artificial Analysis s 发布了智能指数第五版，
18:43
第一次让大部分分数来自私有题库。
18:46
为什么要换？
18:48
公开基准的题目会在网上流传，难免混进下一代模型的训练数据，
18:53
这叫“数据污染”，会让分数虚高。
18:56
新排名里，Claude Opus五点五以五十八分领先，
19:01
G P T六Astra五十七分，前五名全部来自Anthropic和OpenAI，
19:07
谷歌的Gemini四Argon是五十分。
19:11
最引人注目的是，开源与闭源的差距，从三分扩大到了十二分：已经公开权重的模型里，
19:18
DeepSeek和智谱的最好成绩只有三十二分。
19:22
沃顿商学院教授Ethan Mollick认为，
19:25
换成封闭基准后，开源模型“比之前测得的落后更多”，
19:29
但他也提醒要谨慎看待。
19:32
前天我们提过“中国AI落后美国三到六个月”的估计，
19:35
新数字说明，这道差距也许比此前以为的更宽。
19:39
第五件，谷歌DeepMind发布了第四代世界模型Genie四。
19:44
所谓世界模型，是能预测环境如何随动作变化的模型。
19:49
传统游戏引擎靠人工写好物理规则，Genie这类模型则从视频里“学出”物理和画面。
19:56
据机器之心，Genie四能实时生成可操控、
20:00
接近照片级的三维世界，可以用自然语言随时改天气、
20:04
加人物，还首次原生生成同步的环境音、
20:08
音乐和对话。
20:09
它先向受信任的测试者开放。
20:11
AI研究者Jeff Clune回顾说，
20:14
他在二〇一九年提出“用一个神经网络充当整个环境”的疯狂想法，
20:19
如今每隔八九个月就出一代，到Genie四，
20:22
似乎已经可以用在好莱坞和虚拟现实里了。
20:26
最后几条快讯。
20:26
据《纽约时报》，OpenAI的网络安全负责人描述，
20:30
十月二十一号，他几乎通宵修补两个“可能颠覆大半个互联网”的严重漏洞，
20:37
他说AI打开了“漏洞的潘多拉魔盒”。
20:39
特朗普在Truth Social上说，
20:41
将正式禁用“人工智能”一词，改称“超级智能”，
20:45
目前还不清楚具体落到哪些部门。
20:49
中国本月公布的AI出口管制草案，把“卖服务”和“卖技术”分开：海外用户可以通过云平台使用中国AI，
20:56
但把模型或技术转移到海外，需要政府审批。
21:01
科学方面，智利的薇拉·鲁宾天文台，在冥王星轨道之外发现了一个又大又亮的天体，
21:08
有望成为太阳系的第六颗矮行星。
21:12
还有，环保署将放宽油气行业的甲烷排放规定。
21:15
补一句背景：甲烷短期的增温效应约为二氧化碳的八十倍，
21:20
堵住甲烷泄漏，被视为减缓变暖最快的手段之一。
21:25
说完科技，我们聊商业与投资。
21:27
今天的主线是：AI的钱继续往同一个方向流，
21:32
芯片商入股自己的大客户；
21:34
而战争推高的通胀，正从油价一路传到每个人的购物车。
21:40
第一件，英伟达和A M D同时入股Meta。
21:42
昨天讲过，Meta宣布最多九百五十亿美元的股权融资，
21:46
英伟达投资三十亿美元。
21:48
今天的新内容是A M D也加入了。
21:51
据财新，英伟达认购Meta新股，Meta则扩大部署英伟达的Vera Rubin平台和网络设备；
21:58
A M D随后宣布，计划在同一轮融资中投资十亿美元，
22:02
Meta还将获得一款定制的G P U。
22:06
为什么值得警惕？
22:07
财新指出，这是英伟达“给客户钱、客户再买英伟达芯片”的循环交易模式，
22:13
第一次延伸到美股七巨头的其他成员；
22:16
巴克莱提醒，这种模式可能夸大真实需求和估值。
22:20
好处是锁定需求，风险在于，供应商的一部分收入，
22:25
其实来自自己投出去的钱。
22:28
还有一个数字：Meta第三季度的自由现金流已经转负，
22:32
却仍把全年资本开支指引的下限，上调到一千三百五十亿美元。
22:37
一家需要靠发新股融资的公司，说明它的AI开支，
22:41
已经超出经营现金流能轻松覆盖的范围。
22:45
科技评论作者本·汤普森在Stratechery上的看法是，
22:48
Meta的Muse模型给投资者出了一道二选一的题：如果相信它是巨大的机会，
22:54
就必须支持Meta砸钱买算力，因为只有砸钱，
22:58
才能训练出更好的模型。
23:00
但他也承认反方最有力的论点：Meta的核心社交娱乐业务几乎不受AI冲击，
23:06
Meta未必真的需要Muse。
23:08
与此同时，“去英伟达化”也有了苗头：据科技媒体The Information报道，
23:14
路透社转引说，OpenAI计划购买谷歌的AI芯片，
23:18
也就是张量处理器T P U，不过交易本身还没有经公司确认。
23:24
第二件，存储芯片。
23:26
S K海力士季度利润增长七倍多，宣布约七百五十亿美元的股东回报计划，
23:32
并称普通内存和高带宽内存都已经售罄到二〇二九年。
23:38
高带宽内存，英文简称H B M，是把多层内存芯片堆叠起来、
23:44
紧贴G P U放置的内存，是AI加速器最关键的瓶颈之一。
23:49
管理层说，客户的H B M需求是现有供应能力的两倍以上，
23:53
短缺会持续到二〇三〇年。
23:56
但有投资者提醒，“售罄”是把已签协议和仍在谈判的需求合起来算的，
24:01
不等于每一颗芯片都签了合同。
24:04
中国这边，长鑫存储在良率只有百分之二十到三十的情况下，
24:08
仍然决定量产H B M三E，反映出中国AI内存短缺之严重。
24:14
路透社的评论栏目说，首尔“最怕的事正在成真”：半导体占韩国出口的百分之四十，
24:20
三星和海力士合计约占韩国股市市值的一半，
24:23
而中国对手正在追上来。
24:26
第三件，央行周和通胀。
24:29
美联储今天公布利率决议，市场预期按兵不动，
24:32
节目发布时结果还没出来；
24:34
《华尔街日报》说，这是一个“尴尬”的决定，
24:36
因为九月通胀数据高于预期。
24:40
北边的加拿大央行，预计加息二十五个基点到百分之二点五，
24:43
这将是二〇二三年年中以来首次加息；
24:47
加拿大九月通胀已经升到百分之三点一，
24:51
主要由能源推动。
24:53
通胀正在传到消费端：可口可乐、宝洁、
24:57
雀巢等消费品巨头，集体预告明年还要涨价，
25:01
原因是战争推高了能源、原材料和运费。
25:05
一位投资人说，提价是企业“最后剩下的杠杆”。
25:09
航空业更直接：航油价格比战前上涨超过百分之九十，
25:13
《财富》杂志报道，航空公司宁可把票价抬高近百分之二十三，
25:18
让飞机空着飞。
25:20
还有一个容易忽略的连锁反应：卡塔尔是全球主要的氦气产地之一，
25:25
出口被霍尔木兹封锁卡住，美国能源部已经把氦气列为关键材料。
25:32
氦气是半导体制造不可或缺的气体，这就把伊朗战争和芯片供应链连在了一起。
25:38
第四件，中国经济，“数据好看、市场不信”。
25:42
A股较近期高点跌超百分之二十，进入技术性熊市，
25:45
已经连跌十一周；
25:47
据《纽约时报》，“国家队”上周四单日注资约六十八亿美元护盘，
25:53
但投资者怀疑救市能否奏效。
25:55
官方公布第三季度增长百分之四点五，但《华尔街日报》援引的西方分析师估计，
26:01
全年增速只有零到百分之三。
26:04
财新观点频道的分析则拆解了九月工业利润的成色：主要靠茶酒饮料行业利润集中确认和能源涨价撑起来，
26:13
剔除茶酒之后，增速从百分之十三点五回落到百分之八点一。
26:18
汽车业更能说明问题：一到九月，中国乘用车销量下降百分之二十二。
26:24
晚点LatePost的长篇调查拆解了“速成车”现象：国内车企基于现有平台，
26:30
十八到二十四个月就能推出全新车型，代价是缺件的样车、
26:35
没定稿就开工的模具，以及带着问题上市；
26:39
工信部的征求意见稿，拟要求车型的环境适应性验证至少一年，
26:44
经历“两冬一夏”。
26:47
还有一个数字：胡润百富榜上，字节跳动创始人张一鸣以一千亿美元首次登顶，
26:54
财富一年涨了百分之四十三，几乎全靠AI。
26:58
最后说说星链。
26:59
美联航首席执行官Scott Kirby在Stratechery的访谈中说，
27:03
公司原本只打算在百分之六十五的机队装星链，
27:07
装上第一架之后，就听说有乘客为了星链改坐支线航班，
27:12
于是决定全面铺开。
27:13
SpaceX则在给美国联邦航空管理局的意见中说，
27:17
它希望每年发射一万次，瓶颈已经不在火箭，
27:21
而在管理局过时的空管流程。
27:23
最后是生活。
27:24
先说足球。
27:25
昨天我们讲过，三家中国品牌同日与姆巴佩解约。
27:30
今天的后续是，皇马公开向中国道歉，姆巴佩随后发布了中文、
27:34
英文、法文三语道歉。
27:37
外交部发言人回应说，伤害中国人民感情的言行，
27:41
自然会遭到抵制。
27:43
同一件事，有两种讲法：在中国市场，这是一次典型的危机公关；
27:48
美国福克斯新闻的评论员，则把道歉嘲讽为“为钱下跪”，
27:53
并和此前N B A球星詹姆斯等人的类似事件相提并论。
27:57
再说棒球。
27:58
世界大赛第四场，密尔沃基酿酒人只差三个出局数，
28:02
就能拿下队史首个总冠军；
28:04
坦帕湾光芒在第十二局下半，借对方的守备失误连续四支安打，
28:09
以四比三完成逆转，把系列赛拖进了第五场。
28:14
数千名专程赶来庆祝的酿酒人球迷，只能扫兴而归。
28:18
然后是预测市场。
28:19
昨天我们讲过，N B A把Kalshi定为“首选预测市场交易所”。
28:23
今天的另一面，是《纽约时报》的一篇评论，
28:26
批评体育预测市场是对青少年有害的“新型赌场”。
28:30
为什么会有这种争议？
28:32
法律上，Kalshi的合约算金融衍生品，
28:35
而不是博彩；
28:36
正因如此，它不受各州博彩年龄和准入规则的约束。
28:41
再来几条轻松一点的。
28:42
一具霸王龙近亲“矮暴龙”的骨架，名叫Jodi，
28:47
在苏富比以四千七百三十万美元成交，远超预期。
28:52
商业恐龙拍卖越来越贵，古生物学界一直担心，
28:55
重要标本会因此流入私人手中。
28:59
教宗良十四世因肺癌切除了部分肺叶，梵蒂冈外长称，
29:03
这对教宗任期是“改变游戏规则”的事，
29:06
据路透社，他十一月的拉美之行仍按计划进行。
29:10
荷兰在舆论压力下，再度宣布退出欧洲歌唱大赛。
29:14
《经济学人》还观察到，电视剧里“有野心的局外人”，
29:17
正在从英雄变成反派。
29:20
最后一条，是AI走进日常的样子。
29:23
有人用Meta的雷朋智能眼镜，加上Claude模型和象棋引擎Stockfish，
29:28
做出了一副开源的“国际象棋作弊眼镜”：眼镜看到棋盘，
29:32
电脑识别棋局、算出最佳着法，再通过通话报给佩戴者。
29:37
线下比赛的反作弊，会越来越难。
29:40
红杉资本合伙人林君叡则推荐了一篇文章，
29:43
文章说，AI让努力和技艺越来越隐身于幕后，
29:48
但“杰作就是杰作，不管它花了三十秒还是三十年”。
29:53
今天就聊到这里。
29:55
以色列的组阁僵局、美国的选举日，还有伊朗战争会不会在选后重启，
30:00
这几条线会在下周初交汇到一起；
30:03
而AI一边改写数学，一边把“谁来核验”的问题，
30:07
推到了所有人面前。
30:09
今天的Long View就到这里。