“数学证明” 的搜索结果：共 1 个模型
清除搜索
| 模型 | 分类 | 能力 | 上下文长度 | 参数量 | 开源 | 定价（输入/输出） |
|---|---|---|---|---|---|---|
|
DeepSeek-R1深度求索
|
推理模型 | 深度推理数学证明代码生成 |
128K | 6710 亿（MoE，激活 370 亿） | 开源 | ¥4 / 百万 tokens/¥16 / 百万 tokens |
AI 模型库
索引全球主流大模型：按分类、能力、上下文长度快速筛选，对比定价与基准测试表现