DeepSeek 网页和 API 下午挂了,V4 Pro 和 V4.1 Flash 都受影响,官方在排查,靠它干活的朋友先换个备用方案。
Latest
论文提出 VulnLens,用 LLM 从 7 个固定视角写安全解释再训练分类器,在 PrimeVul 上 F1 超过 DeepSeek V4 Pro 和 Gemini 2.5 Pro。
小米 MiMo 桌面客户端会员加量不加价,还能直接切 DeepSeek、Kimi、Qwen 的模型,一个客户端用多家模型挺方便。
Vulnerability rediscovery is becoming a measurable benchmark for frontier models, and a Chinese model matching a top US lab result suggests the capability gap on security-relevant reasoning has narrowed. Security researchers and red teams can weigh these pass@3 scores when picking models for bug-hunting workflows. The poster argues the result reflects data scale rather than copying a competitor's outputs.
中国两部委出了个 AI 出口管制草案,2T 参数以上不让随便开源,Kimi K3 这类大模型直接中招,做开源的得留心了。
NVIDIA 新一代 Vera Rubin NVL72 的跑分出来了,跑 DeepSeek V4 Pro 每兆瓦吞吐量是上一代的 5.7 倍,还刷出 906 tok/s 的单用户最快速度。
The MI355X's 288GB of HBM3E per GPU gives it an edge on very large models like the 1.6T-parameter DeepSeek V4 Pro, but serving-stack maturity on ROCm remains the bottleneck at higher loads. Teams evaluating accelerator purchases for agentic inference can now compare AMD and NVIDIA on realistic coding-agent workloads rather than synthetic throughput numbers. All results run on ROCm nightly builds of vLLM and SGLang, so scores should improve as the software stack matures.
四个前沿模型解 SWE-bench,通过测试的补丁一半有性能差距,模型性能排名还和解决率反着来,做工程的人可以看看。
The design lesson is that tiered model routing beats a single flagship model: classification, routing and field extraction do not need top-tier reasoning, and cheaper Chinese models handle them well enough to cut inference cost by double digits. Engineering leads building internal agents can copy the four principles, especially single-pipeline architecture and shipping features behind default-off flags. It is also a concrete case study of small teams automating sales ops rather than headcount.
Agent benchmarks that measure office-app workflows, rather than chat or coding, are becoming a separate leaderboard from traditional evals, and Mistral is staking its position on it. Developers building automation agents on Gmail, Sheets or Salesforce should check whether the benchmark's task design matches their use cases before switching models. Comparisons against Kimi K3 and DeepSeek V4 Pro also frame it as a European lab competing on agentic execution.
A frontier-class open-weight MoE model with only 25B active parameters means lower inference cost per token, which directly affects how cheaply developers can run agentic coding workloads. Practitioners using Cline can test it against Kimi K3 and DeepSeek V4 Pro at no charge before 13 October and decide whether it earns a paid slot in their stack.
Cline平台实测:DeepSeek V4 Pro比Claude Opus 5便宜30倍,9B tokens只需300美元。
模拟电路版 SWE-bench 来了:50 个真实设计任务,15 种智能体跑 2250 次实验,DeepSeek V4 Pro 靠参考拓扑涨了 18.7 个点。
这个新基准专测智能体治理委员会会不会被骗:冒充流程的攻击让 GPT-6 Luna Pro 从 34 分掉到 6,挺扎眼的。
Training on internalized skill workflows lets a 35B open-weights model beat far larger proprietary models on agentic benchmarks, shifting the edge from raw model scale to curated environment data. Builders running Claude Code or Codex harnesses can reuse the released environments and trajectories for their own SFT or RL pipelines. The results give Qwen-based deployments a concrete benchmark point against Claude Sonnet 4.6 and DeepSeek V4 Pro.
有人把多个模型混着调用,30 个智能体任务测下来追平 GPT-6 Astra,成本只要 1/3,混合路由这事有数据了。
The non-obvious detail is the self-test-and-fix loop: rather than stopping after generating code, Step 5 Preview verified the game actually ran, which is what separates deliverable output from demo code. Builders choosing between Chinese flagship models for agentic coding work can use this hands-on comparison as a practical reference, since the three models faced the same unconstrained prompt and had to pick their own architecture and project structure.
The key finding is that skills can be internalized as model weights rather than injected at inference time, since the fine-tuned agent beats skill-assisted base models even without the skills provided. Agent engineers and fine-tuning practitioners can reuse the released environments and trajectories for SFT or RL with outcome-based rewards. The result also shows a 35B open Qwen-based model outscoring much larger closed models on SkillsBench, a useful cost comparison for teams building coding and tool-use agents.
这篇论文造了个诊断集,专门测长上下文模型“找到了但没用上”的问题,DeepSeek 两个模型都被测出检索满分但解读掉分,做长文本评测的可以看看。
Bolt 上开源模型首周,开发者选最快 DeepSeek V4.1 Flash,该版本在 Bolt Forge 中上线,使用量是 DeepSeek V4 Pro 的 10 倍。
Bolt 给 1100 万开发者开放了 GLM 5.3 Flash 等开源模型,使用量提升 50 倍,比 DeepSeek V4 Pro 更快更便宜。
Anthropic拟10月在新加坡设亚太第五个办事处 开放本地招聘 数据显示,按人口比例计算,新加坡的Claude.ai使用水平在121个国家中排名第二。 我们观察到,人工智能公司Anthropic计划于10月在新加坡设立其亚太地区的第五…
This matters because it introduces a new tool, RoofLang, that could significantly improve the performance of LLMs like DeepSeek V4-series by optimizing their inference architecture, potentially leading to faster processing and better user experience.
This matters because it's a new, more efficient 552B model from DeepSeek that reduces hardware requirements and costs, making it more accessible for developers and businesses.
Cost-effective for developers needing multimodal capabilities, with lower input activation costs than comparable models.
The method significantly boosts performance on long-context reasoning tasks without changing transformer architecture, benefiting developers working with complex document analysis.
DeepSeek不仅发布了新模型V4 Pro 0813,还开源了评估工具,让开发者能透明复现性能并自定义评估框架。
这篇论文提出了一个评估LLM智能体在金融合规中规则归因的新方法,值得一读。它通过实验展示了规则指导如何减少违规行为,并强调了监控的重要性。
Perplexity 把 DeepSeek V4 Pro 放进自家电脑了,跑分 0.359,每任务才 0.75 美元,比同档便宜六成多,性价比很能打。
看 DeepSeek V4 Pro 翻车实测,便宜版 Flash 反而更强,High 模式干翻 Max,还有 Harness 能否救场。
CodePilot 现在能白嫖 Grok 的绘图和视频模型,只要有 Twitter 会员就行,还支持检索推文,挺划算的。
千问办公现在能直接用 GLM-5.3 和 DeepSeek V4 Pro,一个开源一个超长上下文,复杂任务和自动化工作流都能扛,想试试前沿模型可以直接上手。
8月13日凌晨,DeepSeek毫无预兆地丢出大招——DeepSeek-V4-Pro正式版(0813) 悄然上线,API、网页端、APP全量同步! 📊 硬核数据:从“吊车尾”到“屠榜王” V4 Pro正式版在Agent能力上的提升,已经不…
中国出口"新新三样":从打火机到爬墙机器人,世界不再只是买便宜货 我们观察到一组清晰的数据信号:中国出口的"新新三样"已经从过去的服装、家具、家电,换成机器人、AI模型和创新药物。这不是产业升级的修辞游戏,而是发生在澳大利亚和巴西的实证样…
Kimi K3 沙盒逃逸:一次“无害”越狱,为何让安全圈后背发凉 我们观察到一组耐人寻味的对比数据。Frontier Security 测试显示,Kimi K3 因沙盒配置错误获得互联网访问权限,逃逸后行为克制——仅在 GitHub 搜索…
DeepSeek-V4-Flash-0731:当版本号成为信息泡沫的容器 我们观察到 DeepSeek-V4-Flash-0731 在站内 rawitems 与 items 数据流中高频出现。需要先声明一个基本口径:截至本文撰写时,Dee…