Gate 新闻消息，4月26日——DeepSeek已将其全系列模型的输入缓存价格下调至发布时价格的1/10，自即日起生效。V4-Pro模型现正限时享受2.5倍折扣促销，促销将持续至2026年5月5日23:59（UTC+8）。 在同时两次下调之后

Gate News 消息，4月26日——阿里云“百炼”平台已推出 Qwen-Image-2.0-Pro，这是 Qwen-Image-2.0 系列的全功能版本，在单一模型中同时融合了文生图生成与图像编辑。用户可以通过自然语言命令直接修改对象、文本和风格

Gate 新闻消息，4月26日——DeepSeek 宣布对 V4-Pro API 定价进行限时 75% 折扣，优惠有效期至 5 月 5 日 15:59 UTC。折扣后，每百万 tokens 的价格为：输入缓存命中 $0.03625

Gate News 消息，4月25日——DeepSeek 于 4月24日发布了 V4-Pro 和 V4-Flash 的预览版本；两者均为开源权重模型，拥有一百万 token 的上下文窗口。V4-Pro 具备 1.6 万亿的总参数，但在每次推理时仅激活 490亿，采用了 Mixture-of-Experts（混合专家）架构。

Gate News 消息，4月25日——百度智能云已将 DeepSeek-V4 引入其千帆平台，为新发布的 AI 模型提供 API 访问。DeepSeek-V4 提供两个版本——DeepSeek-V4-Pro 和 DeepSeek-V4-Flash，并具备百万令牌的扩展上下文窗口。 企业和开发

Gate News 消息，4月24日——DeepSeek V4-Pro 和 DeepSeek V4-Flash 于 4 月 24 日正式发布，并开源发布；上下文处理长度从 128K 大幅扩展至 1M，容量提升接近 10 倍。华为计算宣布其 Ascend 超算节点

Gate 新闻消息，4月24日——OSL集团 (HKEX: 863)，一家全球稳定币支付与交易平台，宣布于4月22日与Circle Internet Group, Inc. (NYSE: CRCL)的关联方达成合作，以扩大其支付与交易平台上的USDC访问。 通过OSL Global，用户可以按1:1的基础将USD和USDC进行转换，并可在专门的USDC交易专区使用具备订单簿功能的专业交易（Pro Trading），该专区包含五个主要交易对：BTC、ETH、SOL、USD和USDT。OSL还将USDC整合为统一的保证金资产，以提升符合条件客户的资金效率与交易灵活性；同时，其支付业务已纳入USDC，以支持合规的数字美元结算及支付用例。此外，OSL还将在满足监管要求与平台准入条件的前提下，支持访问Circle的USYC，即代币化货币市场基金。 Eugene Cheung，OSL集团首席商务官表示，该合作强调了公司致力于构建稳定币生态系统以及下一代金融市场基础设施的承诺。Circle首席业务官Kash Razzaghi指出，这项合作体现了两家公司共同致力于建设开放的金融通道，以支持资金效率并推动市场增长。

Gate News 消息，4 月 24 日——围绕 DeepSeek V4 的技术能力与合规性，美国爆发了一场争论。Chris McGuire 是外交关系委员会 (CFR) 的资深研究员，曾任白宫国家安全委员会以及国防部官员，发表了分析文章，称 V4 并未改变美中 AI 的竞争格局。根据 McGuire 的说法，DeepSeek 自己的 V4 报告承认，其推理能力比前沿模型大约落后 3 到 6 个月，并以发布于六个月前的 GPT-5.2 与 Gemini 3.0 Pro 作为基准。 McGuire 提出担忧：尽管 V4 报告披露了在推理阶段对 NVIDIA GPU 以及华为 Ascend NPU 的适配，但并未公开说明开发过程中所使用的 GPU 型号或训练成本。他质疑这种沉默是否意味着使用了受出口管制的 NVIDIA Blackwell 芯片，并指出 V3 先前曾声称使用了 2,000 张 H800 GPU，成本为 5.57 million 美元。DeepSeek 已否认使用 Blackwell，表示该模型是在 NVIDIA H800 与华为 Ascend 910C 处理器上训练的。 Replit 首席执行官 Amjad Masad 反驳了 McGuire 的分析，认为中国科学家正在公开分享真正的 AI 突破，而美国政策制定者与游说者则放大“China distillation”（中国蒸馏）的担忧。Masad 强调了 DeepSeek 在官方声明中披露的架构创新，包括 DeepSeek 稀疏注意力 的按 token 级别注意力压缩，以及针对长上下文计算的显著效率提升。他指出，V4-Pro 在 1M 上下文长度下，展现出比 V3.2 更低得多的按 token 推理计算量与 KV 缓存需求，并强调这些架构进展与训练数据蒸馏无关，所有研究人员——包括美国的实验室——都可以从开源发展中获益。

Gate News 消息，4月24日——小米的大语言模型团队负责人罗福丽在一场深入采访中透露，MiMo-V2-Pro 模型的总参数量达到 1 万亿，并且训练过程中需要成千上万台 GPU。她表示，1T 规模代表要实现接近 Claude Opus 4.6 等级的性能，并为下一阶段 AI 智能体抢占具备竞争力的入场券所达到的最低门槛

Gate News 消息，4月24日——DeepSeek V4 已发布来自形式化数学推理评测的结果，在 Putnam-2025 上获得满分 120/120，与 Axiom 并列第一。 在使用 LeanExplore 和受约束采样的实际模式下，V4-Flash-Max 在 Putnam-200 Pass@8 基准测试中得分 81.00，显著优于 Seed-2.0-Prover 35.50、Gemini 3 Pro 26.50 和 Seed-1.5-Prover 26.50。前沿模式的结果显示，V4 在 Seed-1.5-Prover 110/120 与 Aristotle 100/120 之前。 V4 采用混合的形式化-非形式化推理方法：非形式化推理生成候选自然语言解答，自我验证用于筛选结果，而形式化智能体在 Lean 中完成严格证明。前沿结果采用了大规模计算扩展，而实际模式分数更能反映标准部署能力。