OpenAICN官方 API Token / 缓存 / Plan 计费表
刷新

OpenAI 发布 372 个 AI 数学证明 GitHub

内容刷新 / GEO：补 English summary 与最新核对清单 — oa-openai-dumps-372-ai-generated-math-proofs

All guides · Full article is primarily Simplified Chinese; use the English summary below for quick takeaways (GEO-friendly).

封面：OpenAI 发布 372 个 AI 数学证明 GitHub

OpenAI 在 GitHub 上公布了 372 条 AI 数学证明（AI-generated math proofs），覆盖 GPT-4o、GPT-4.1、Claude 3.5 Sonnet等主流模型。该消息影响官方 API 定价的核对与对账，也提醒从业者在使用时区分 Plus 会员与纯 Token 定价。以下为基于官方渠道与内部对账逻辑的总结与核对清单。

现状与数据更新

截至 2026-10-07，OpenAI 在 GitHub 正式发布包含 372 个 AI 数学证明的合集。该合集以英文原文呈现，包含证明思路、使用的模型版本与 token 消耗指标。发布后，社区关注的焦点转向这些证明在 API 调用中的实际成本，以及是否应被计入官方定价核对表。

核对清单

以下清单汇总官方公开数据与对账要点，供记账人员与技术团队参考：

  • 数量：372 条 AI 数学证明（英文原文）
  • 覆盖模型：GPT-4o、GPT-4.1、Claude 3.5 Sonnet 等多个模型
  • 发布渠道：GitHub（官方或官方授权合集）
  • 数据来源：官方 GitHub 合集（oapps/oa-openai-dumps-372-ai-generated-math-proofs）
  • 对账用途：核对官方 API 价格表、确认 Plus 会员与 Token $/M 的区别、排除未官宣型号列入价表的风险

风险与边界

对账时需注意以下边界：官方未将这些证明列为已上线产品定价，仅属于实验性输出，不能直接作为套餐定价依据；Plus 会员与 API Token $/M 分别对应不同层级，混用可能导致核对失效；不应将未官宣功能写入价表或宣传材料，否则可能引发合规风险。

站内路径