数据点: 56
DeepSeek Prover v2 和 Qwen3 的结论先放在这里，方便先判断是否值得继续看明细。
结论
Qwen3
Qwen3 当前更占优，可验证指标为 0 对 4。
证据覆盖
56 个数据点
包含 0 个 benchmark、0 个 audit 样本和 8 个 provider 样本。
选择依据
优先看 Qwen3
下方图表把 8 组高信号样本拆开，便于核对速度、跑分和安全分。
左右两边都可以换成其他模型，页面会打开新的 LMSpeed 对比 URL。
选择其他模型后会打开新的对比页。
Model compare DeepSeek Prover v2 vs Qwen3deepseek-prover-v2-vs-qwen3 | 模型 A DeepSeek Prover v2 | 模型 B Qwen3 |
|---|---|---|
| 综合领先 | 对照 | 领先 |
| 可验证指标胜出 | 0 项 | 4 项 |
| 优势维度 | 暂无数据 | 最低输入价格、免费服务商、服务商覆盖、近期测试数 |
来自 LMSpeed 同步的第三方 benchmark profile；只展示两个模型都有数值的指标。
按 0-100 分对比 benchmark 分类表现；点击分类可以聚焦查看差距。
平均分
DeepSeek Prover v2
-
平均分
Qwen3
63.6
当前分类
代码
Qwen3
按具体 benchmark 指标对比两个模型，展示来源、排名覆盖、置信度、误差和评测日期等上下文。
暂无两个模型共同覆盖的专业 benchmark 分数。
来自共同 provider 的最近完成 audit，展示四个安全/完整性分组分数和报告入口。
| Provider | DeepSeek Prover v2 | Qwen3 |
|---|---|---|
| 暂无共同 provider 的已完成 audit。 | ||
把同一 provider 的测速聚合和 input/output 价格放进同一行，便于判断实际 API 表现和迁移成本。
| Provider | DeepSeek Prover v2 | Qwen3 |
|---|---|---|
0 次测试 | DeepSeek Prover v2 deepseek-prover-v2-7b speed / latency N/A / N/A input / output $1.00/M / $2.18/M |
这份报告只使用 LMSpeed 已有数据：DeepSeek Prover v2 和 Qwen3 的价格、测速聚合、第三方跑分与共同服务商样本。
| 建议 | DeepSeek Prover v2 | Qwen3 |
|---|---|---|
| 什么时候选哪个模型 | DeepSeek Prover v2 DeepSeek Prover v2 没有在当前可验证指标中明显胜出，建议结合具体服务商价格再看。 | Qwen3 Qwen3 更适合优先看 最低输入价格、免费服务商、服务商覆盖、近期测试数 的场景。 |
TL;DR：Qwen3 在本页 56 个可验证数据点中更占优，包含价格、速度、延迟、跑分和服务商样本。
从 DeepSeek Prover v2 vs Qwen3 继续查看附近模型的横向对比，这些页面都有足够的 LMSpeed 可验证数据。
| 模型元信息 | 这个模型暂时没有 OpenRouter 元信息。 | Qwen3 的上下文为 262.1K tokens；主要信号：文本输入, 文本输出, 工具调用, 结构化输出。 |
|---|---|---|
| 开发者 | DeepSeek | 暂无数据 |
| 上下文窗口 | 暂无数据 | 262.1K tokens |
| 最大输出 | 暂无数据 | 16.4K tokens |
| 发布日期 | 暂无数据 | 2025年7月 |
| 模态 | 暂无数据 | 输入 文本 输出 文本 |
| 能力 | 暂无 | 文本输入文本输出工具调用结构化输出JSON 模式 |
| 参数量 | 暂无数据 | 235B / 22B active |
| Tokenizer | 暂无数据 | Qwen3 |
| 知识截止 | 暂无数据 | 2025-06-30 |
| OpenRouter ID | 暂无数据 | qwen/qwen3-235b-a22b-2507 |
| 来源链接 | 暂无数据 | 暂无数据 |
Qwen3
qwen3-8b
speed / latency
N/A / N/A
input / output
$0.100/M / $0.020/M
DMXAPI0 次测试 | DeepSeek Prover v2 speed / latency N/A / N/A input / output 暂无数据 | Qwen3 speed / latency N/A / N/A input / output 暂无数据 |
|---|
Future Hub0 次测试 | DeepSeek Prover v2 speed / latency N/A / N/A input / output 暂无数据 | Qwen3 speed / latency N/A / N/A input / output 暂无数据 |
|---|
Futureppo0 次测试 | DeepSeek Prover v2 deepseek-prover-v2-7b speed / latency N/A / N/A input / output $1.00/M / $2.18/M | Qwen3 qwen3-8b speed / latency N/A / N/A input / output $0.100/M / $0.020/M |
|---|
Gitee AI0 次测试 | DeepSeek Prover v2 speed / latency N/A / N/A input / output 暂无数据 | Qwen3 speed / latency N/A / N/A input / output 暂无数据 |
|---|
DeepSeek Prover v2 deepseek-prover-v2-7b speed / latency 暂无数据 input / output $0/M / $0/M | Qwen3 qwen3-8b speed / latency 暂无数据 input / output $0/M / $0/M |
DeepSeek Prover v2 deepseek-prover-v2 speed / latency 暂无数据 input / output $3.92/M / $15.66/M | Qwen3 qwen3-32b speed / latency 暂无数据 input / output $0.979/M / $9.79/M |
DeepSeek Prover v2 DeepSeek-Prover-V2 speed / latency 暂无数据 input / output $1.00/M / $0.500/M | Qwen3 qwen3-14b speed / latency 暂无数据 input / output $75.00/M / $75.00/M |
排名基于社区提交的测试数据与定期健康探测，仅供参考，非官方数据。
