文档中心

Seed Prover API

查询数学证明任务

GET https://ark.cn-beijing.volces.com/api/v3/contents/generations/tasks/{id} 运行

查询数学证明任务的状态。

说明

仅支持查询最近 7 天的历史数据。时间计算统一采用UTC时间戳，返回的7天历史数据范围以用户实际发起查询请求的时刻为基准（精确到秒），时间戳区间为 [T-7天, T)。

快速入口

鉴权说明

体验中心

开通模型

API Key

常见问题

请求参数

跳转响应参数

id string 必选（通过创建数学证明任务接口获取）

需要查询的数学证明任务的 ID 。

说明

该参数为 Path Parameter。您需要将待查询的数学证明任务的 ID，直接替换 URL 中的 {id} 占位符。

响应参数

跳转请求参数

id string

数学证明任务 ID 。

model string

任务使用的模型名称和版本，模型名称-版本。

status string

任务状态，以及相关的信息：

queued：排队中。

running：任务运行中。

succeeded：任务成功。

failed：任务失败。

expired：任务超时。

error object

错误提示信息，任务失败时返回错误数据，具体参见错误处理。

属性

error. code string

错误码。

error. message string

错误提示信息。

created_at integer

任务创建时间的 Unix 时间戳（秒）。

updated_at integer

任务当前状态更新时间的 Unix 时间戳（秒）。

content object

数学证明任务的输出内容。

属性

content. file_url string

生成的证明结果文件的下载链接，文件格式为 lean。为保障信息安全，下载链接会在7天后被清理，请及时转存。

默认

输入示例

curl -X GET https://ark.cn-beijing.volces.com/api/v3/contents/generations/tasks/cgt-2026******-*** \
  -H "Content-Type: application/json" \
  -H "Authorization: Bearer $ARK_API_KEY"

输出示例

{
  "id": "cgt-2026******-***",
  "model": "seed-prover-1-5-1219",
  "status": "succeeded",
  "created_at": "1718049470",
  "updated_at": "1718049470",
  "content": {
    "file_url": "https://xxx"
  }
}

最近更新时间：2026.08.21 11:18:10

这个页面对您有帮助吗？

有用

无用

火山方舟