开场（三人合声）
晓桐+云阳+云健: 今日我们AI说，带你听见未来的声音！
第一段：晓桐开场
晓桐: 大家好，这里是《今日我们AI说》，我是晓桐。今天是2026年11月3日，星期二。先说数字最大的一件事：芯片公司迈威尔要用1150亿美元，买一家做「光」的公司——买的不是芯片，是AI机房里的那束光。其余几条：清华一位图灵奖得主带着两个本科生，教AI「证明这件事办不成」；美团发布了一个全程用国产算力训练出来的1.6万亿参数大模型；还有人不爽推荐算法，花两小时让AI给自己搭了个「私人YouTube」；以及一款把「读图」做到极限的新图片格式，一颗廉价小芯片就能跑。下面请云阳过要闻。
第二段：云阳播报
要闻一：1150亿美元买光器件：芯片巨头盯上AI机房里那束光
云阳: 要闻一，11月2日，美国芯片公司迈威尔（Marvell）与光通信器件商Lumentum宣布达成最终收购协议：全股票交易，隐含企业价值约1150亿美元，外媒路透社称这是科技行业近年来最大规模并购之一。Lumentum每股换4.5股迈威尔普通股，较传闻影响前的收盘价溢价约23.9%；预计2028年上半年交割，尚需双方股东和监管批准。两家业务接在同一根「线」上：迈威尔做光/电互连（用光传芯片间的数据）与定制AI芯片，Lumentum做激光器、光收发器、光交换机；合并后预计每年成本协同超10亿美元。Lumentum最新一期财报：截至9月26日的财季营收12.63亿美元，同比增长136.5%（公司财报口径）。
要闻二：图灵奖得主带本科生发论文：AI学会证明「这关过不去」
云阳: 要闻二，10月29日，一篇《Algebraic World Model》（代数世界模型）挂上预印本平台arXiv。作者四人里，共同一作潘冠成、谭淇心都是本科生——一位从浙大休学来清华做研究，一位出自清华「姚班」；压阵的姚期智是2000年图灵奖得主。方法分三步：先玩没公布规则的新游戏，把观察写成可执行的代码假设；再用研究「概念之间怎么关联」的数学工具把假设合并精简；最后翻译进Lean 4——一种机器能逐步检查对错的「证明语言」，证明目标可达或不可达。论文自测：两道无解游戏关，交出6份机器验证通过的封闭证明，对照组Claude Opus 5.5与GPT-6 Astra十二轮一份没交出来；25个公开游戏共183关全部通关，认证通关路径平均只用人类基准43%的动作数（论文口径，尚未经同行评审）。
要闻三：美团发布LongCat-2.5：1.6万亿参数大模型，训练全程用国产算力
云阳: 要闻三，11月2日，美团发布新一代大模型LongCat-2.5，官方公告称它是「面向长程智能体任务的原生多模态模型」。总参数1.6万亿，每生成一段内容激活约480亿参数（官方博客口径）；训练全程由国产算力完成。公告也写了难处：国产算力单卡显存小，就围绕「超节点」重排分工、让数据少跨卡跑；中训练用最长100万token的序列，累计训练量数万亿token。公司称长上下文微调里单卡训练吞吐量较主流DDP分布式基线提升86%（公司口径）；基准成绩介于Claude Opus 4.8与Opus 5之间（公司口径，待第三方复测）。
要闻四：卡帕西花两小时搭了个「私人YouTube」：推荐流换成人类口碑
云阳: 要闻四，10月31日，AI研究者卡帕西在个人博客发文：受够了YouTube首页的夸张封面和看腻的话题，他让AI编程工具Claude Code（Opus 5.5，中档推理强度）干活，约两小时上线了自己的视频站hackertube.org。片源不是新视频：从Hacker News社区19年的评论里筛出约4万条「人主动推荐视频」的留言，收敛成6454个视频、分150个主题；不开账号，观看状态存在本地浏览器；底层数据可导出，交给自己的AI再改版。他自述只动了三样手工：申请密钥、开服务器、买域名。
要闻五：一张图拆成「两像素一字节」：个人开发者开源极限解码的图片格式
云阳: 要闻五，近日GitHub上出现一款叫nibnib的图片格式，设计目标只有一个：解码快。作者是开源图形领域开发者Raph Levien，自述此前在谷歌字体团队做GPU字体渲染研究。这个格式给RP2350一类的廉价微控制器量体裁衣：每个像素只花约6个计算周期，一个字节一次展开两个像素，调色板里存「颜色差值」，画质因此好于传统索引色图（项目README口径，11月2日至3日在技术社区Hacker News被讨论）。代价是方向反过来：编码是一场搜索，比解码慢好几个数量级。
第三段：晓桐×云健逐条问答点评
晓桐: 云健，先掰扯这单1150亿美元的生意。做芯片的买一家「光」公司，图什么？
云健: 图的是机房里正在换的「血管」。算力集群越堆越大，芯片间传数据的老铜线在距离、发热、带宽上一起到顶；换成光、走光纤损耗小，就像堵死的马路旁新修一条只跑快车的轨道。这一单值得看的是账本：光模块和光交换机是AI服务器一柜一柜的必过关卡，买方用自家股票付23.9%溢价，说明它判断往后「光」比芯片还紧俏。你发现没有？钱从买卡流向买「连接」，光器件产业链的订单会跟着热，机房的功耗带宽成本最后摊进你用的电费单和订阅费。风险也写在明面上：2028年上半年才交割，中间隔着审批和整合；另据美国财经媒体雅虎财经报道，宣布当天买方股价先跌了一程。
晓桐: 清华这篇论文。说AI能证明「过不去」，这跟一个会聊天的AI，差别到底在哪？
云健: 差别在「敢不敢负责任」。让AI替人办事，最怕的不是它不会，是它把办不成的事说成办得成，还给你编个理由。这篇论文把游戏规则整理成数学模型，再用机器能逐步验证的证明语言去判定：这一关在当前步数下无解，或者再多一步就能赢——它敢给结论，也留下了别人能检查的依据。和我们10月28日那期讲的谷歌Genie 4给机器人当练习场是一体两面：那边让AI「看见」世界，这边让AI「讲清」世界。论文也写了边界：证明建立在它观察到的规则上，探索不全，结论只是局部真理。会心一笑的是署名——两位本科生打头，图灵奖得主压尾。
晓桐: 美团的1.6万亿参数模型，官方公告说整体能力「比肩国际成熟闭源模型和头部开源模型」。训练全程用国产算力这件事，分量在哪？
云健: 公告的措辞是公司的，账本才是行业的。说白了，这条新闻最值钱的不是跑分，是官方难得把难处写了出来：显存不够就把工序重排、把跨卡搬运压住——这是用工程办法绕开国产算力的短板，而且是继今年6月LongCat-2.0之后第二次跑通全流程。样本多了，工具链的短板地图才画得出来，后来人才知道坑在哪。公告里三个词翻成人话：多模态、长程智能体，是看图读字的本事都长在模型里，接住一件事能连着做完，不止答一句话；token按「词元」理解，长度和价格都按它算；超节点就是把几十张算力卡和一张专属高速网络捆成一台大机器干活。配套的还该记住10月27日那期讲的推理再长内存也不涨的开源新架构：算力和显存的账，国内团队是两头一起抠。至于跑分「介于Opus 4.8与Opus 5之间」，是公司自报口径，第三方复测出来前听听就好。对普通人，落点很实在：这类模型先用在调度、地图和商家分析这些日常场景里，大模型竞争正在从「谁更聪明」变成「谁的账更便宜」。
晓桐: 卡帕西两小时搭一个「私人YouTube」，你会想要一个这样的信息入口吗？
云健: 想要，但要看清代价。平台推荐的最强形态是真的：它拿几亿人点击喂算法，确实把「多数人想看什么」服务得很高效——问题是它服务中位数，而你不想当中位数。夸张封面、越刷越窄的话题，都是这套效率的副产品。HackerTube换掉的不是视频，是排序信号：从「点击和停留」换成「有人专门把链接贴给朋友」——把人当推荐人，不当流量。这一试很快传开：AI媒体爱范儿11月2日报道，已有人仿着做出论文推荐站、书籍推荐站。讲真，意义不在那个网站本身：6454个视频是技术宅的小众口味，照抄只是换个新茧子；路标在于「入口」第一次变成个人可以重做的东西。茧不会消失，但选茧的人第一次可以是你自己。
晓桐: 最后这条：今天的手机开图一秒都嫌慢，谁还真缺「解码快」？
云健: 需要它的，恰恰是手机上不了的地方。智能家电的小屏幕、电子墨水价签、孩子玩的玩具、工地巡检的手持设备——这些设备芯片便宜、内存小，瓶颈从来不是画质，是「把压缩的图拆开画出来」这一步跑不动。nibnib把复杂度全押在制作端：编码慢就慢，图做一次、看无数次；设备端每像素约6个计算周期，一颗几块钱的单片机也能流畅刷图。这个「写得麻烦、读得快」的取舍，和AI行业「训练贵、推理便宜」是同一门课的两道题。一个开源个人项目不会改变格局，但技术的人味常常就在这：有人认真把一个小东西做快，让用不起好硬件的人，屏幕也能亮堂一点。
第四段：收尾
晓桐: 最后跟大家约一个日子：2028年上半年，迈威尔和Lumentum这笔交易若交割，我们回来称重——那束光在机房里跑快了没有，1150亿美元花得值不值。今日我们AI说，明天见。
晓桐+云阳+云健: 今日我们AI说，带你听见未来的声音！