1. OpenAI关停Sora，迪士尼10亿美元合作随之破裂 「我们要和Sora说再见了。」OpenAI周二在官方博客上写道。这款视频生成工具2024年底高调上线，几个月后拿下迪士尼据报约10亿美元的授权合作。现在产品砍了，合作跟着作废。从发布到死亡，15个月。

2. 开发者社区一周内连发三问，质疑从产出滑向公平 大模型发布至今，Python包索引上新包的创建速度没有出现拐点，唯一在增长的是AI包本身。这是上周登顶Hacker News的三篇热帖之一，三篇合计讨论超过千条。

3. OpenAI基金会承诺10亿美元治病济困，同周上线购物功能 OpenAI基金会宣布将投入至少10亿美元，用于治愈疾病、扩大经济机会和增强AI韧性。同一周，ChatGPT上线了沉浸式购物功能，用户在对话里就能浏览商品图片、横向对比参数、跳转商家下单。

快讯

• LongCat-Flash-Prover发布560亿参数开源数学证明模型 LongCat-Flash-Prover是一个560B参数的开源MoE模型，专攻Lean4形式化数学推理。模型将形式推理拆分为自动形式化、草稿和证明三个独立能力，通过混合专家迭代框架扩展高质量训练轨迹。

• OpenResearcher开源完整深度研究数据合成管线 针对深度研究agent训练依赖昂贵专有API的问题，OpenResearcher将语料构建与多轮轨迹合成解耦，搜索和浏览循环完全离线执行，降低了长程研究轨迹的生成成本和复现难度。

• daVinci-MagiHuman开源音视频同步生成基础模型 daVinci-MagiHuman用单流Transformer在统一token序列中同时生成同步的视频和音频，避免了多流或交叉注意力架构的复杂性。模型和代码已开源。

• Claude Code速查表登上Hacker News 社区制作的Claude Code速查表整理了常用命令和工作流，在Hacker News引发关注。

• Omni-WorldBench提出以交互为中心的世界模型评测框架 现有世界模型评测要么只看视觉保真度，要么只看静态3D重建指标。Omni-WorldBench认为世界建模的核心是4D生成——同时建模空间结构和时间演化，并据此设计了新的评测体系。

• TerraScope将像素级视觉推理引入地球观测 TerraScope是一个统一的视觉语言模型，支持光学和SAR单模态输入及多模态自适应融合，在遥感场景中实现像素级空间推理和定位。

• F4Splat解决前馈式3D高斯溅射的冗余分配问题 现有前馈3D高斯溅射方法均匀分配高斯体，导致跨视角冗余。F4Splat通过前馈预测性致密化，在控制高斯总数的同时保持重建质量。

• ProactiveBench测试多模态大模型是否会主动求助 人类遇到遮挡物体时会请人移开障碍物，多模态大模型能否表现出类似的「主动性」？ProactiveBench基于七个数据集构建了遮挡识别、图像增强等场景的主动交互评测。

阅读完整版 →