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

OpenAI 发布 372 个 AI 数学证明 GitHub

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

返回指南列表

封面：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 分别对应不同层级，混用可能导致核对失效；不应将未官宣功能写入价表或宣传材料，否则可能引发合规风险。

站内路径

English summary

The newly published set of 372 AI-generated math proofs on GitHub is a technical artifact rather than an official product release. For billing reconciliation, the key decision is to treat these proofs as data for cost analysis, not as a priced feature. The $/M token pricing for GPT-4o and GPT-4.1 remains the baseline; Plus membership affects access tiers but does not change per-token rates. When budgeting, use the official price page to confirm current token rates, and avoid adding unannounced model prices to the ledger. This distinction helps prevent overstatement of allowable expenses in accounting reviews. The proof set can be used to estimate token consumption patterns across problem types, which feeds into more accurate $/M calculations.