AI 周边四则：视频模型扩散、PHP 漏洞警告、数学证明与资本整合

开篇

今天的四条消息看似无关，却有一个共同点：AI 正在从单个模型的能力展示，转向分发渠道、安全责任和资本配置这些更实际的层面。下面分别说明来源给出的事实，再写我的判断。

可灵 4.0 进入第三方平台

来源事实：可灵 4.0 在 OpenArt 和 OnSolo 两个平台上线。OpenArt 的说明提到可用起始、中间和结束帧引导视频，最多使用 10 张参考图，并可通过文本或帧生成、编辑视频。OnSolo 的说明提到单次生成 30 秒视频、立体声、21:9 画幅，单个任务最多叠加 15 个参考和 10 个关键帧。

图片来源：Kling AI on X: "Hold on to your hat. #KlingAI #Kling4" / X原文链接

我的分析：多帧引导加多参考图，针对的是视频生成里最常见的角色和镜头不一致问题。对开发者来说，同一个模型出现在多个第三方平台，意味着接入方式和计费会各不相同，选型时要分别核对。两个平台给出的参数上限并不相同（参考图 10 张与 15 个），目前无法判断这是平台限制还是描述差异。

PHP 漏洞与 NSA 警告

来源事实：据转述，NSA 与多国机构就 PHP 中新发现的安全漏洞发出警告，Calif 的研究人员最初借助 GPT-5.6 Sol 发现了问题，部分国家的政府网站已暂时下线以降低风险。

图片来源：Rohan Paul on X: "National Security Agency (NSA) and world leaders warn of security flaws found in PHP programming language Calif researchers first found this flaw using OpenAI’s GPT-5.6 Sol In Europe, Asia and on other continents, authorities have taken a number of government websites offline fo… / X原文链接

我的分析：用大模型辅助审计成熟的基础软件，并且得到官方层面的响应，这一点值得注意。对运维团队而言，实际动作很直接：确认所用 PHP 版本，等待并应用官方补丁，无法修补的服务器要评估是否隔离。漏洞数量、具体位置和利用条件，目前只来自二手摘要，我没有把它们写成定论。

KLS 猜想的新证明

来源摘要称，Microsoft Research 的研究者宣布证明了 1995 年提出的 KLS 猜想。大致含义是，对数凹分布的最优平面切割与任意形状切割之间的差距，不随维度增长。

图片来源：Solving a 31-year-old grand challenge in mathematics – the KLS conjecture - Microsoft Research Your Privacy Choices Opt-Out Icon Your Privacy Choices Opt-Out Icon原文链接

我的分析：这是纯数学结果，短期内不会直接进入产品。不过它涉及高维采样与几何，长期可能影响相关算法的理论分析。证明是否已经过同行评审，我无法从现有材料判断，需要读论文本身。

SpaceX 与 Tesla 的合并设想

来源事实：据转述，华尔街日报报道马斯克希望围绕 AI 把约 2 万亿美元估值的 SpaceX 与约 1.5 万亿美元的 Tesla 合并。报道称 SpaceX 的 AI 业务已是最大业务，第三季度营收 75.6 亿美元，去年同期为 8.13 亿美元；196 亿美元的季度资本开支中，超过 164 亿美元投向 AI；公司由此实现 44 亿美元的季度利润，上年同期亏损 10.5 亿美元。