**DeepSeek V4 数学证明能力创新高：智能体系统刷新记录，成本优势达 500 倍**

_DeepSeek V4做数学证明，500倍成本优势：智能体系统刷新多项纪录_

> DeepSeek V4 在数学证明领域展现惊人实力，其智能体系统以仅 OpenAI 模型 1/500 的成本，成功攻克多项数学难题，刷新行业纪录。此前 OpenAI 模型刚推翻 80 年未解的“单位距离猜想”，DeepSeek V4 即以更低成本实现高效突破。

**来源信息**
- **来源**：机器之心：文章库（API）
- **分类**：ai-models
- **发布时间**：2026-06-06 23:19（北京时间）
- **原文**：[打开原文](https://www.jiqizhixin.com/articles/2026-06-06-4)