OpenAI 宣布关闭视频生成应用 Sora

OpenAI 在社交媒体上宣布，将关闭视频生成应用 Sora。该应用于 2024 年底推出，曾凭借逼真的视频生成能力引起广泛关注。公司表示，后续会公布应用和 API 的关闭时间线，以及用户作品保存的细节。

此举发生在迪士尼投资 10 亿美元将旗下角色引入 Sora 仅数月之后，该合作前景不明。同时，公司内部会议透露，OpenAI 正重新聚焦商业和生产力应用，避免被“支线任务”分散精力。

LongCat-Flash-Prover 是一个 5600 亿参数的混合专家（MoE）开源模型，专注于 Lean4 中的原生形式化推理。它将任务分解为自动形式化、草稿和证明三个独立能力，并提出混合专家迭代框架来扩展高质量轨迹。

在强化学习阶段，团队提出分层重要性采样策略优化（HisPO）算法，通过梯度掩码策略稳定长程任务训练。模型在 MiniF2F-Test 上以每个问题仅 72 次推理预算达到 97.1% 的通过率，在 ProverBench 和 PutnamBench 上也显著超越现有开源模型。

OpenResearcher 提出了一种完全可复现的管线，用于训练深度研究智能体。它通过离线搜索环境和三种浏览器原语（搜索、打开、查找），在包含 1500 万文档的语料库上合成超过 9.7 万条轨迹，其中包含大量长程（超过 100 次工具调用）轨迹。

使用 GPT-OSS-120B 作为教师模型，在 30B-A3B 骨干网络上进行监督微调，在 BrowseComp-Plus 上达到 54.8% 的准确率，相比基模型提升 34.0 个百分点。该管线已被 NVIDIA 的 Nemotron 模型家族采用，团队已开源全部代码、轨迹、模型和离线搜索环境。