阿里开源全能视频模型!生成编辑都精通,1.3B版本消费级显卡可跑

阿里开源的通义万相Wan2.1-VACE模型展示了强大的视频生成与编辑功能,包括基础的文生视频、图生视频和视频生视频等初级玩法;加入编辑功能如局部抹除或替换、视频重绘、时长或背景延展等中阶玩法;高阶玩法则能将各种能力花式组合。

DeepSeek Prover-V2,这才是探索AGI 的正确姿势!

DeepSeek 推出新模型 DeepSeek-Prover-V2-671B,专为数学定理证明打造。该模型参数量大(671亿),架构使用MoE技术,隐藏维度高达7168,支持超长上下文窗口(约80万汉字)。通过Lean 4生态训练,并结合生成自然语言讲解与强化学习提升性能。