DeepSeek V4.1 Flash即将上线,官方称全面超过V4 Pro
相关推荐
Anthropic开源零知识证明系统FlashProve
Odaily星球日报讯 Anthropic 发布基于零知识证明(zkSNARK)的开源 AI 推理验证系统 FlashProve,StarkWare 联合创始人 Alessandro Chiesa 参与研究。该系统利用与区块链 ZK 技术同源的密码学方法,使用户无需获取模型权重或重新运行模型,即可验证 AI 输出是否由指定模型生成。 Anthropic 表示,Claude 参与了系统优化,目前已开源相关代码及 Lean 形式化证明。该系统仍处于研究原型阶段,证明生成的 GPU 时间开销约为普通推理的 70–95 倍。 测试显示,FlashProve 在单张 H100 GPU 上,可为 Meta 旗下 4000 亿参数模型 Llama 4 Maverick 以约每秒 110 Token 的速度生成证明,单个证明约 19 MB。
DeepSeek又双叒崩了:网页和模型API同时异常,19天前刚宕机近5小时
动察 Beating AI 快讯,11 月 3 日 16 时 58 分,DeepSeek 再次出现服务故障。官方状态页显示,网页对话、V4 Pro API 和 V4.1 Flash API 均发生部分中断。截至 17 时 06 分,官方仍在排查,尚未公布具体原因。 这距离 10 月 15 日的上一次大规模故障仅过去 19 天。当时同样是这三项服务一起受到影响,故障持续近 5 小时。DeepSeek 事后公开致歉,宣布按 API 用户此前 7 天的消耗金额全额发放赠金,并承诺全面排查、剥离系统中的单点依赖。
DeepSeek新版为何突然变强?外媒曝出Astra蒸馏内幕,梁文锋向竞争压力妥协
动察 Beating AI 快讯,DeepSeek 新版模型能力大涨,背后可能真有 Astra 的功劳。 The Information 援引多名直接知情人士称,DeepSeek 10 月 17 日更新的 V4.1-Flash-1017,以及月之暗面新发布的 Kimi K3.1 Pro,都在训练过程中大量利用了 OpenAI GPT-6 Astra 的输出进行蒸馏。 DeepSeek 新版在浏览器操作任务上的表现尤其突出。Browser Use 的 180 项真实网页任务测试中,它的得分从旧版的 70.9 提高到 75.0,接近 Astra 的 77.9。但每题模型调用成本仅 0.22 美元,Astra 则高达 10.77 美元,相差近 49 倍。 此前,Claude 一直是国内 AI 公司蒸馏的主要目标。但 Anthropic 最近两个月不断收紧防护,试图提取模型推理过程的难度大幅增加,国内实验室于是把目光转向了 Astra。 DeepSeek 创始人梁文锋原本不愿在 V4 研发中依赖蒸馏。但看到智谱 GLM 等国内竞争对手借助蒸馏取得进展后,最终向竞争压力妥协。
DeepSeek V4.1 Flash新版登顶Agent Arena开源模型榜,位列总榜第11
PANews 10月20日消息,AI模型评测平台Arena宣布,DeepSeek-V4.1-Flash-20261017(Max)已位列Agent Arena开源模型第一、总榜第11。基于约7500次真实使用会话,该模型相对平均模型的综合净改善约为5.1%,单任务成本中位数约0.20美元。该版本在任务成功确认、用户正负反馈、Bash命令执行可靠性及可引导性四项指标中均位列开源模型第一,其中任务成功确认指标位列总榜第8。
B.AI 将 DeepSeek V4.1 Flash 无缝升级至 1017 最新版本
火星财经消息,10 月 19 日,B.AI 平台宣布,DeepSeek V4.1 Flash 已无缝升级至最新的 V4.1 Flash-1017 版本,在响应速度、推理质量与运行稳定性等方面进一步优化,为开发者与用户带来更高效、更智能的 AI 体验。此次升级延续无感切换方式,用户无需更换模型 ID,现有 API 调用与工作流配置均可保持不变,即可直接调用新版模型能力,大幅降低迁移与适配成本。B.AI 表示将持续跟进前沿模型迭代,为开发者提供更稳定、更高性价比的模型服务。
DeepSeek再次出现网页/API部分中断
PANews 11月7日消息,据《科创板日报》报道,DeepSeek再次出现对话功能无法使用,聊天界面一度显示“服务器繁忙,请稍后重试”。DeepSeek官方状态页显示, 自今日15:11开始,DeepSeek 网页/API 部分中断,官方正在排查问题以定位原因。受到影响的服务包括对话(Chat Service)、DeepSeek V4 Pro API服务以及DeepSeek V4.1 Flash API服务。目前,DeepSeek官网最新更新状态称,中断问题已实施修复,目前正在监控修复效果。