微信绿泡泡短剧上线 · OpenAI 的证明在 Lean 里走了样 · LV 承认诉讼伤了业绩 · 四部门禁掉全隐藏门把手
本期从 10 月 15 日知乎热榜筛出四件事：微信上线绿泡泡短剧、OpenAI 的纳维—斯托克斯证明被查出 Lean 版本与论文不一致、LVMH 首次承认起诉茉莉奶白拖累中国业绩、四部门给汽车创新设计与研发验证划出红线，每条都给出事实链、跨平台交叉刻度与后续观察点。
上一期出刊是 10 月 13 日 12:09。此后 10 月 14 日的两档没有产出，平台按数据缺口节流跳过，所以这一期把覆盖窗口合并成北京时间 10 月 13 日 12:00 至 10 月 15 日 00:00，共 60 小时，错过的两档只能留作空缺。
榜位与热度取知乎官方热榜，读取于 10 月 15 日 00:01，返回 30 条；30 名之后的条目取 TopHub 公开镜像的知乎热榜节点，同一分钟读取，返回 50 条。镜像是第三方抓取，排序口径与官方榜面存在差异，正文引用 30 名之后的榜位时会注明。
各节的「知乎高赞」按平台返回的默认排序取样，取其中赞同数最高的三条。海外社媒与视频平台这一期只承担补充说明与交叉验证，官方公告、原始链接和权威媒体仍是每个话题的核心事实来源。
让位的话题：官方第 7 名郑钦文夺冠后上汽奥迪「买一送一」送车模（206 万热度，属品牌营销个案）、第 8 名二本毕业生坚持找双休工作（192 万）、第 17 名女装品牌用狸花猫毛皮做毛领（129 万）、第 19 名传 RTX 5080 24GB 定档 2027 年 Q1（95 万，与本频道 8 月 2 日、8 月 21 日、9 月 14 日三期覆盖过的显存与显卡产能线同源），以及镜像 30 名之后的谷歌 AI 游戏平台 Playground（58 万，10 月 7 日发布，落在本期窗口之前）。
一、微信把短剧塞进小程序：绿泡泡上线，红果的 1.68 亿日活有了对手
微信里多了一个叫「绿泡泡短剧」的小程序，账号主体是深圳市腾讯计算机系统有限公司。剧集全部免费，中间插广告，在微信里搜「短剧」就能进1。
产品的来路比这一轮曝光更早。2025 年 4 月微信注册了「短剧」小程序，2026 年 1 月微信改版后短剧板块进入「发现」页，2026 年 7 月 2 日正式更名「绿泡泡短剧」，直到 9 月底才被市场集中发现2。
腾讯在这条赛道上试过四回。2021 年 12 月腾讯视频上线「十分剧场」，2024 年微信以基础设施身份开放短剧小程序与公众号 CPS，2025 年 1 月「火星短剧社」上线，2025 年 6 月微信再上一个官方「短剧」小程序3。
前面四次都停在渠道层面。十分剧场做了内容，品牌认知却挂在腾讯视频身上；火星短剧社没有签约发行方，也没有为免费内容池定制过独家剧3。
绿泡泡的不同在于运营权重。它采用「短剧联合发行」，外部短剧小程序的剧集接入官方内容池，腾讯只做入口与分账，制作环节交给第三方，变现走 IAA，也就是用户免费看、平台靠广告挣钱2。
国庆档的投放量说明腾讯这次下的注不小。DataEye 监测显示，10 月 1 日至 7 日绿泡泡短剧累计投放素材 4.3 万组、投放计划数 10.6 万组，日均投放素材比节前一周增长 57%，10 月 3 日单日投放素材 7101 组，创下历史新高2。
真正改规则的是第四季度的激励。微信开放平台推出「绿泡泡短剧联合发行激励」，周期为 10 月 16 日至 12 月 31 日，优质新剧最高可拿 90% 现金分成，另配 10% 广告金2。据参与方转述，平台把核心考核指标从播放量换成了人均播放时长4。
对手的体量摆在那。QuestMobile 数据显示，2026 年 7 月红果短剧独立 App 日活跃用户 1.68 亿，同比增长约 107%，超过腾讯视频、爱奇艺、优酷、芒果 TV 四家长视频 App 日活之和（约 1.55 亿）2。红果的人均单日使用时长约 125 分钟1。
| 维度 | 绿泡泡短剧 | 红果短剧 |
|---|---|---|
| 形态 | 微信小程序，账号主体为腾讯1 | 独立 App，2023 年 8 月上线2 |
| 变现 | 免费观看加集间广告（IAA）2 | 免费观看加广告2 |
| 内容来源 | 联合发行，接入第三方制作方剧集2 | 番茄小说 IP 库加外部制作方2 |
| 2026 年 7 月日活 | 未披露 | 1.68 亿，同比增约 107%2 |
| 四季度激励 | 最高 90% 现金分成加 10% 广告金，考核人均播放时长4 | 本期没有检索到同口径的公开方案 |
海外这一侧的量级不大。X 用户 @_FORAB 在 10 月 14 日贴出邀约细节，说短剧与 AI 视频创作者已陆续收到激励邀约，激励范围从 10 月 16 日起算，这条帖子 7.74 万次浏览、149 个赞5。36Kr 英文站那篇复盘把绿泡泡放回腾讯此前的四次尝试里，结论是能不能完成这次任务还要再看一段时间3。
国内视频端，B 站上 21 世纪经济报道的短视频直接用了「红果日活超爱优腾芒总和，腾讯打算拿什么撬动」当标题6。
知乎高赞三条7：
- 青山火（131 赞）把两边的底牌拆成两句话：红果的优势是产品与商业闭环的成熟度，绿泡泡的胜算在微信生态存量资源的可开发空间，并把它类比成 2018 年微视狙击抖音未成、视频号最终站住的那一轮。
- 常暗隙间（96 赞）认为腾讯要在短剧上翻盘，缺的是一个比字节 Seedance 更强的视频生成模型；平台上的剧集大多由友商工具生产，等于持续给对手交算力钱。
- 我本楚狂人（62 赞）把矛头指向「朋友在看」：短剧是自娱自乐的消遣，把熟人关系链铺进推荐位是路径依赖。
接下来值得看三件事：10 月 16 日激励正式起算后的分账与剧集供给、视频号到小程序的投流链路能不能跑通、红果会不会给出同口径的回应。
二、OpenAI 的证明过了 Lean，验的却是更弱的一句话
9 月 8 日，OpenAI 发布一份 166 页的纳维—斯托克斯方程解，声称证明了三维不可压缩流体的解可以在有限时间内出现奇点，并同时给出自然语言论文与 Lean 形式化两个版本。Lean 是一种由计算机逐步检查的证明语言，写进去的每一步推导都要通过编译器的规则校验8。
按照官方叙述，这项工作由约 1 万名并发智能体完成，累计约 88 小时、270 万条消息、约 1300 亿输出 token，随后由 GPT-6 Astra 花 17 小时完成 Lean 形式化与验证8。同一份公告写明，团队在 9 月 1 日听到「两个千禧年难题被解决」的传闻后才启动项目，那个传闻后来被确认与 Anthropic 员工 Levent Alpöge 和纽约大学数学家 Tristan Buckmaster 有关8。
一个月后，剑桥大学的 Anders Hansen 团队和伦敦国王学院的 Alexander Bastounis 在 arXiv 上挂出 25 页论文，标题就叫《Navier-Stokes lost in translation》。论文的核心主张是：AI 把自然语言证明翻译成 Lean 时会产生语义漂移，Lean 编译通过只说明形式命题的推导合法9。
具体到这份证明，分歧落在引理 8.6。自然语言版本要求某个值小于 m+4，Lean 版本对应位置要求小于 m+5，条件更宽、结论更弱；另有一处压力通量估计在 Lean 里沿着另一条论证走完10。
论文还给了一条更硬的理论理由。判断自然语言数学文本里的歧义，难度处在可解性复杂度指数（SCI）层级的无穷位置，比停机问题还高，所以「语义忠实的形式化」没有通用算法9。
OpenAI 对《New Scientist》回应说，公司知道两个版本之间存在不一致，这并不影响任何一版成立，后续会随着发现修订自然语言论文10。
另一层争议在「Spanish program」。这个说法指西班牙数学家 Diego Córdoba 与 Luis Martínez-Zoroa 提出的一套研究方案，OpenAI 最初对外暗示自己的证明沿着这条路线推进，Buckmaster 因此质疑公司借用了他们的成果——他和 Alpöge 用 AI 沿这条路线做了一年11。
多组专家重读论文与 Lean 代码后的结论是：两边的相似只停在表面。洛桑联邦理工学院的 Gonzalo Cao-Labora 说，「深入细节就会发现这是另一条路径」11。
OpenAI 的模型究竟怎么找到这条路，普林斯顿高等研究院的 Camillo De Lellis 认为已经超出了可以清楚验证的数学事实范围11。
反方证据同样要摆出来。数学家 Francesco Maggi 在 10 月 10 日公开表示，据正在仔细审阅这份结果的同行判断，OpenAI 给出的是一个正确的证明12。
他同时说明差异在哪：两个版本沿用大致相同的策略，关键引理的表述不同，Lean 里更弱、论文里更强，论文中有一批陈述有误或没有得到完整证明，但那些错误看起来可以修复12。
帝国理工学院的 Kevin Buzzard 把两件事分开看：他对「NS 问题已被正确解决」有信心，对 PDF 里描述的那份证明信心低得多10。
社区刻度也清楚。Hacker News 上讨论这篇 arXiv 论文的帖子 361 分、239 条评论13；Reddit 的 r/technology 相关帖 416 分、114 条评论，好评率 85.4%，版块订阅数 2058 万14。X 上传得最开的一条拆解来自 @ValerioCapraro，62.3 万次浏览15。
OpenAI 的原始发布帖在 X 上有 7518 万次浏览、12 万点赞16。承载 Lean 代码的仓库公开在 GitHub，2091 个 star、220 次 fork，采用 Apache-2.0 许可17。
知乎高赞三条18：
- 恋猫（555 赞，1.74 万关注者）把这件事读成一记回旋：OpenAI 发布时自己也没有读懂模型的证明，对外反复说它遵循 Spanish program，一个月后大家发现走的是另一条路线，而且至今没人完全说清它怎么来的。
- 华复（451 赞）总结出三条：人类社会的幻觉不比大模型少；OpenAI 自己也说不清模型做出了什么，只拿到了一个结果；大模型的创新能力比此前不少人估计的高，原先人类数学家设计的路线说不定走不通。
- Kris 谭（134 赞）从 Lean 本身讲起：只要目标陈述正确且编译通过，形式化证明就一定可靠，因为内核只做类型检查；争议在于目标陈述是否忠实对应原始问题。
后续值得盯三件事：OpenAI 会不会更新那份自然语言论文、这类自动形式化会不会成为独立的审稿对象、以及是否有第三方给出可以复现的复核结论。
三、LV 承认起诉茉莉奶白伤了业绩，三季度中国客群需求降 15%
10 月 12 日，LVMH 发布 2026 年三季度财报，口径为有机增长，也就是剔除汇率与并购影响后的增速。前三季度营收 571.48 亿欧元，有机增长 2%；三季度营收 185.04 亿欧元，有机增长 1%，比二季度的 3% 明显放缓19。
分部门看，时装与皮具三季度收入 82.45 亿欧元，有机收入下降 5%，是五大部门里唯一收缩的一个；精品零售增长 8%，钟表与珠宝增长 6%，葡萄酒与烈酒增长 6%，香水与化妆品增长 1%19。
按地区看，三季度美国增长 5%、日本增长 6%、欧洲增长 4%，除日本外的亚洲下降 5%，是唯一负增长的地区19。
Loading chart…
财报电话会上，集团首席财务官 Cécile Cabanis 给出了更细的口径：三季度中国客群需求下降 15%，其中境内消费双位数下滑，中国消费者在境外的消费中个位数下滑20。
她也被问到那场诉讼。原话是「很难精确量化其影响，但总体而言，可以说至少在季度初，该事件确实产生了负面影响」，随后强调集团不会因此停止对中国市场的投入20。这是 LVMH 高管第一次在公开场合把这场诉讼与业绩压力联系起来21。
纠纷的起点在 2025 年 5 月。路易威登马利蒂以商标权纠纷为由，起诉深圳市茉莉奶白餐饮管理有限公司及苏州吴中一家加盟店，主张对方在品牌 logo 与门店装潢中使用的四叶花卉图形侵害了 7 件图形注册商标专用权20。
2026 年 6 月 29 日，苏州市中级人民法院一审认定侵权成立，判令茉莉奶白主体公司赔偿经济损失 1000 万元、维权合理开支 30 万元，合计 1030 万元20。判决传开后，社交平台上出现大量关于四叶花卉源出东方传统纹样的讨论，LV 在中国的维权行动随后被放进更大的语境里审视20。
价格这一侧有两条并行的信息。管理层的表态是降价这类短期举措并不可取，同时透露三季度末到四季度初中国客群的表现已有所好转21。
挂牌价另有动作。蓝鲸新闻核对到，当季新款 Multipass Mini 手袋老花款从 18000 元下调 7.8% 至 16600 元，黑色皮革款从 19900 元下调 7.5% 至 18400 元21。
海外媒体用的词更重。彭博社在 X 上写的是「LVMH 最大部门销售下滑，路易威登在中国遭到抵制」22；路透社亚洲账号的标题是「中国的低迷冲击 LVMH，奢侈品复苏的希望变暗」23；巴西《环球报》直接用了「抵制」24。
投资侧的中文拆解给出两个增量数字：中国籍消费者约占时装与皮具部门销售的 36% 到 38%，是最大的单一国别客群；摩根士丹利预计四季度该部门营收同比仍将下降 3%，而市场共识是下降 0.2%25。
知乎高赞三条26：
- 半佛仙人（2724 赞，191 万关注者）解释了这种「大公司自己也懵」的维权：跨行业、全球范围的商标维权多由外包公司或律所执行，品牌内部只有少数人对接，自己看了热搜才知道起诉了谁。
- 布列（1555 赞）盯的是「厕所包」这个标签：奢侈品牌被指歧视消费者通常伤不到基本盘，被全网当笑料才致命；买家愿意为优越感买单，未必愿意背一个和厕所花纹绑在一起的包。
- 小饼干（1124 赞）把逻辑讲得更直白：奢侈品的卖点里含情绪价值，普通人的羡慕与嫉妒本身就是消费体验的一部分。
接下来看三件事：四季度中国客群数据会不会延续季末的回升、茉莉奶白上诉的二审进展、以及折扣会不会从新款扩散到经典款。
四、四部门给汽车创新划红线：全隐藏式门把手被禁，可靠性要跑满 3 万公里
10 月 10 日，工业和信息化部会同公安部、生态环境部、市场监管总局发布《关于进一步加强汽车产品创新设计和研发测试验证有关管理工作的通知（征求意见稿）》，公示期到 11 月 10 日，意见反馈邮箱是 qiche@miit.gov.cn27。
文件带了三份附件：新增的车辆产品主要技术参数、汽车产品创新设计技术指南、汽车产品研发测试验证技术规范27。新增技术参数共 51 项，前 41 项针对创新设计，后 10 项针对研发测试验证，车企按实际适用情况填报28。
| 约束对象 | 文件要求 |
|---|---|
| 门把手 | 禁止配备全隐藏式门把手；电吸门应具备防夹功能，并在断电、故障等异常情况下可以手动开启29 |
| 显示屏 | 不得采用折叠显示屏、柔性显示屏27 |
| 座椅与座舱 | 行车过程中不得使用「零重力」座椅、旋转座椅、座椅放倒成床、升顶座舱等功能29 |
| 操纵件 | 灯光、雨刮、除霜除雾等关系驾驶安全的功能使用虚拟操纵件时，应同时具备实体操纵件；应急逃生、应急制动等操纵件要保留实体件与醒目标识29 |
| 交互 | 行驶过程中不得允许非驾驶人通过语音等新型交互方式直接操控关键驾驶安全功能29 |
| 宣传 | 如实宣传创新设计的使用边界与限制条件，不得隐瞒创新设计存在的技术局限性27 |
研发验证这一侧给了两个硬指标：新申报产品要完成综合可靠性与耐久性、结构可靠性、软件功能可靠性、环境适应性、采暖与制冷、防护性能与密封性等测试，其中环境适应性验证周期不少于 1 年，且包含「高寒—高温—高寒」的两冬一夏次序，可靠性验证里程不低于 30000 公里29。
执行时间也定了。自 2027 年 1 月 1 日起，涉及创新设计的新申报公告产品要增加填报技术参数；已取得公告的产品要在 2027 年 7 月 1 日前补充报送参数与验证材料，逾期且存在安全隐患的，应停止生产并实施召回27。
把这份文件和今年前几轮的节奏接起来看，方向更清楚。1 月 28 日，强制性国家标准《汽车车门把手安全技术要求》（GB 48001—2026）获批发布，要求每扇车门保留可以机械解锁的内外把手，车外把手预留不小于 60mm×20mm 的手部操作空间30，中国由此成为首个宣布淘汰隐藏式把手的国家31。
本频道 8 月 16 日那一期已经跟过这条线：当时 3 万公里还停在推荐性国家标准修改单的征求意见阶段，准入审查要求则已经发布并定在 2027 年 1 月 1 日施行。这一期的变化在于，3 万公里和两冬一夏被直接写进了准入文件里的研发测试验证要求27。
行业一侧的表态已经出来。中国汽车工业协会表示支持，倡议企业把安全评估前置到产品创新全流程；乘联分会秘书长崔东树把这份文件概括为把准入逻辑从「满足国标即可」升级为「研发充分验证方可准入」32。
海外读数方面，路透社 10 月 10 日的报道把标题落在门把手禁令上，正文写到部分厂商在没有充分验证的情况下仓促推出新车型、推高了安全与环境风险，并援引草案说明新申报车型必须提交更多创新设计与研发测试的技术细节33。
X 上转得开的主要是中文账号。@李老师不是你老师 那条 8.78 万次浏览，把草案的禁用清单与一起门把手事故放在一起讲34；@Inty News 的版本 2.39 万次浏览35。另有一条把此前那起制动踏板事件与这份新规并列的帖子，5.96 万次浏览36。
知乎高赞三条37：
- 大魔王（746 赞，2.71 万关注者）认为监管能让行业守规矩，至于格局要靠产品来改：传统车企早就有「三高测试」并扩展到高温、高寒、高原、高湿、高腐蚀五高，新势力大多跳过这套；他随后讲了夹层玻璃、转向大灯与三点式安全带三个安全配置被接受的历史。
- AC 米兰你输够了没（77 赞）把话题拉回执行：此前那类制动事件若还停在免费升级，这份文件的落地就还有距离。
- 朕的钱（68 赞）关心的是检查方式：车企自检加事后重罚，能不能替代过程监督。
后续看三件事：正式稿会不会保留两冬一夏的试验次序与 3 万公里的口径、2027 年 1 月首批新申报车型的验证材料怎么公开、以及既有车型在 7 月 1 日前补报时会不会出现停产召回案例。
References
- 1绿泡泡能撼动红果吗？
finance.sina.com.cn
- 2腾讯从长到短，字节从短到长：免费短剧迎来「中途岛时刻」？
thepaper.cn
- 3
- 4短剧赛道迎来强劲玩家，高达 90% 分成，微信绿泡泡短剧能否与红果短剧一争高下？
mp.weixin.qq.com
- 5@_FORAB on X
x.com
- 6微信上线绿泡泡短剧小程序：红果短剧日活用户超爱优腾芒总和
bilibili.com
- 7微信上线绿泡泡短剧，腾讯此前多次进军短剧市场都效果平平，这次能成功吗？
zhihu.com
- 8
- 9
- 10
- 11OpenAI's blockbuster Navier-Stokes proof isn't what we thought it was
scientificamerican.com
- 12Francesco Maggi on X
x.com
- 13Navier–Stokes Lost in Translation
news.ycombinator.com
- 14
- 15@ValerioCapraro on X
x.com
- 16@OpenAI on X
x.com
- 17openai/NavierStokesAndEuler
github.com
- 18
- 19
- 20LV 首次承认：起诉茉莉奶白产生负面影响｜澎湃新闻
m.thepaper.cn
- 21LV 不再「傲慢」：首次承认茉莉奶白事件负面影响｜蓝鲸新闻
baijiahao.baidu.com
- 22@business on X
x.com
- 23@ReutersAsia on X
x.com
- 24@JornalOGlobo on X
x.com
- 25@WSTAnalystApe on X
x.com
- 26LV 承认起诉茉莉奶白产生负面影响，第三季度中国客群需求下降 15%
zhihu.com
- 27进一步加强汽车产品创新设计和研发测试验证管理，工信部等四部门公开征求意见
baijiahao.baidu.com
- 28直击速成造车痛点，汽车准入监管升级｜每日经济新闻
baijiahao.baidu.com
- 29监管关口前移，为汽车创新系好「安全带」｜中国商报
baijiahao.baidu.com
- 30@kenw_2 on X
x.com
- 31@dw_chinese on X
x.com
- 32
- 33
- 34@whyyoutouzhele on X
x.com
- 35@__Inty__ on X
x.com
- 36@allen5951 on X
x.com
- 37四部门要求新车研发必须包含「两冬一夏」测试，会改变汽车行业格局吗？
zhihu.com
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.