GPT-6.1 Terra：Astra 十分之一的价，官方说追平它；同一夜还宣布推翻了指数时间假设
OpenAI 把 GPT-6.1 Terra 的单价压到 Astra 的十分之一，官方称它在专业任务上与 Astra 打平；同一夜还宣布三项数学与物理发现，其中包括证明指数时间假设为假。
四条推文在凌晨 2 点 06 分发完，宣布 GPT-6.1 Terra 上线；转发在凌晨 5 点 37 分，转的是账号 @danintheory（Dan Roberts）的帖子，措辞与官方公告的首句一致。五个动作集中在凌晨的三个半小时里。12
| 时间（北京） | 动作 | 内容 | 浏览 |
|---|---|---|---|
| 10-27 02:06 | 原创 | 主帖：GPT-6.1 Terra 上线 | 445 万 1 |
| 02:06 | 原创 | Agents' Last Exam 上与 Astra 的对照 | 96.5 万 6 |
| 02:06 | 原创 | 成本前沿与用量额度 | 39.3 万 11 |
| 02:06 | 原创 | 上线范围与 API 模型名 | 24.4 万 5 |
| 05:37 | 转发 | Dan Roberts：三项数学、计算机科学与物理发现 | 157 万 2 |
一条线索是价格，一条线索是可信度。
一美元一档：Terra 站到了 Astra 的十分之一
官方定价是输入每百万 token 1 美元、输出 5 美元、缓存输入 0.05 美元。3
放进整张价目表，位置就清楚了（单位：美元／百万 token）。4
| 模型 | 标准输入 | 标准输出 | 缓存输入 | Batch 输入／输出 | Fast 输入／输出 |
|---|---|---|---|---|---|
| gpt-6-astra | $10 | $50 | $1 | $5 / $25 | $20 / $100 4 |
| gpt-6.1-sol | $2 | $10 | $0.10 | $1 / $5 | $4 / $20 4 |
| gpt-6.1-terra | $1 | $5 | $0.05 | $0.50 / $2.50 | $2 / $10 4 |
| gpt-6-luna | $0.10 | $0.50 | $0.01 | $0.05 / $0.25 | $0.20 / $1 4 |
Terra 正好是 6.1 Sol 的一半，是 Astra 的十分之一。官方口径也是这么写的：标准 API 价低于 GPT-5.6 Terra 与 GPT-6.1 Sol 约 50%。3
5.6 Terra 已从旗舰价目表里撤下，那半价只能拿 Sol 的 2 美元与 10 美元去对：Terra 正好是它的一半。4
另有两个档位值得记一下。Batch 一律是标准价的一半，Fast 是两倍；更快的 Ultrafast 一栏里只列了 Astra 与 6.1 Sol 两行。4
上线范围是 Plus、Pro、Enterprise、Edu 四档，在 ChatGPT Work 与 Codex 里即日起可选，API 侧模型名是
gpt-6.1-terra。5「追平 Astra」，说的是哪一类活
推文里最抓人的一句是：在 Agents' Last Exam 上，Terra 用十分之一的单价拿到和 Astra 一样的水平。6
Agents' Last Exam 考的是专业任务，官方举的例子是把建筑图纸变成三维模型，以及逐镜看完一部动画片、为修复团队做一份带时间码的记录。3
中等推理档上，Terra 比 GPT-5.6 Terra 高 15 个百分点，成本约为后者的三分之一；与 Astra 打平的那句，指的正是这一档。3
最大推理档另有对照：与 Claude Opus 5.5 比，Terra 的 token 效率高三倍以上，单价是四分之一，摊到每个任务上成本约低九倍。3
速度给出的说法是完成任务比 Astra 与 6.1 Sol 都快三倍以上。3
另外四项测试的结果如下。
- MMMU-Pro（视觉推理）：每个推理档都高过 5.6 Terra，接近 Astra 与 6.1 Sol。3
- OSWorld 2.1（桌面应用多步任务）：中档就超过 5.6 Terra 的最好成绩，单任务成本更低。3
- Terminal-Bench 4.0（命令行编码）：最大档解出 50.3%，是 5.6 Terra 公布成绩 21.5% 的两倍多。3
- Terminal-Bench-Science 0.1（用代码做科研任务）：最大档超过 6.1 Sol 且更便宜，与 Opus 5.5 差五分以内，估算成本不到其五分之一。3
边界官方自己划了：最复杂的编码任务仍应交给 GPT-6.1 Sol 或 Astra。3
这些数字的共同前提，是 OpenAI 自己挑基准、自己跑、自己折算成本。3「追平 Astra」成立的范围，就是这几张卷子。
便宜的那一档，代价写在系统卡里
Terra 的系统卡是 Astra 那张的附录，同一天发布。7
幻觉是官方今年重点压的一项。内部的诱导错误基准上，低推理档错误率从 5.6 Terra 的 53.6% 降到 16.7%，降了近 37 个百分点；最大档降 18 个百分点到 4.3%，接近 Astra 与 6.1 Sol。3
安全分档与 Astra 同级。在 Preparedness Framework 下，Terra 被判为网络安全 Critical、生物与化学 High，用的是与 6.1 Sol、Astra 同一套防护，检测探针做了适配。7
系统卡里也有几处退让，写得挺坦白。
在代表生产数据的 Production Benchmarks 上，Terra 与 5.6 Terra 持平，极端主义、仇恨、未成年性内容三项的回退不具统计显著性。7
图像输入评测里，自残与情色伤害持平，仇恨与极端主义出现统计显著回退；人工复核后的结论是与既往发布水平一致。7
心理健康是差距更清楚的一处。MentalHealthBench 上 Terra 得 55.5%，高于 5.6 Terra 的 46.2%，低于 Astra 的 58.7% 与 6.1 Sol 的 57.9%；多轮对抗式心理健康模拟里，它低于 5.6 Terra。7
健康问答则一边高一边低：HealthBench Professional 长度调整后 62.7，高于 5.6 Terra 的 57.7；普通 HealthBench 55.1，低 1.9 个百分点。7
官方系统卡的 Figure 1：横轴是安全处理有害请求的比例，纵轴是对合法请求不过度拒绝的比例，越靠右上越好。Terra 在不过度拒绝一侧约 96.5%，是家族里最高的一档；Astra 在安全一侧约 98%，不过度拒绝只有约 92%。7
这张图画的是取舍。Terra 是家族里最愿意接活的一档，遇到灰区请求它更少推掉；把最坏情况的安全边界看得更重的场景，Astra 仍站在右边。
同一天挂出的两页客户案例
CodeRabbit 把 GPT-6.1 Sol 放进了它的安全智能体：追一条改动会牵动哪些依赖与防护，Deep Scan 扫整仓，Secure 再扩到共享鉴权库这类关联仓库；对选中的发现，它会在隔离沙箱里尝试验证漏洞、起草修复 PR，交人决定。8
Greptile 走另一头：用 GPT-6 Astra 的计算机操作把 Pull Request 跑起来，把浏览器调成 iPhone 尺寸，模拟用户走一遍应用，找出那个在手机上消失的按钮；安全交给 Daybreak，Codex 接它的知识库，返工因此变少。9
两页与本期价目表对得上：单价压到一美元的是 Terra，最深的代码审查与真机上的视觉验证，客户仍在往 Sol 和 Astra 上放。
同一夜的三个结果，和三种放出方式
那条转发指向一页标题很朴素的公告：《与学术社区一起建立科学理解》。10
三项发现分别落在调和分析、复杂度理论、量子场论。10
第一项是 1991 年 Sogge 提出的局部光滑猜想：极端聚焦只能短暂，典型时刻的聚焦远小于最坏时刻。它一旦成立，Kakeya 猜想与 Stein 限制猜想跟着成立。10
模型给出的是所有维度的证明，靠一个新的辅助偏微分方程搭起来。产出在 10 月 18 日，次日完成 Lean 形式化。10
第二项更重。指数时间假设（ETH）断言：解布尔公式可满足性问题至少要花指数级时间，三十年来被数百篇论文拿来推导其他问题的难度下界。10
OpenAI 说自家系统证明了 ETH 为假，Lean 复核通过。自然语言证明在 10 月 16 日，17 日形式化。10
第三项在物理。模型给出四维含规范场与费米子的相互作用量子场论的存在性证明，涵盖量子色动力学，以及标准模型的一个统一完成；其中一个子问题是纯 Yang–Mills 理论的存在性，属于 Clay 数学研究所千禧年问题的一部分。10
时间线拉得更长：Yang–Mills 的自然语言证明在 9 月 9 日，QCD 在 9 月 18 日，形式化到 10 月 16 日才做完，公告因此压到现在。10
三项结果配了三种放出方式，这是整页最有信息量的地方。10
| 结果 | 模型产出 | Lean 形式化 | 谁负责解释 | 放出了什么 |
|---|---|---|---|---|
| 局部光滑与 Kakeya | 10 月 18 日 | 10 月 19 日 | 不收编外组，由数学界自行组织 | AI 文本稿与 Lean 证明，已进公开仓库 10 |
| ETH 为假 | 10 月 16 日 | 10 月 17 日 | Impagliazzo、Paturi（UCSD）与 Williams（MIT）领队 | 同上，另加全部原始数据与一场由 OpenAI 出资的会议 10 |
| QCD 与 Yang–Mills | 9 月 9 日、9 月 18 日 | 10 月 16 日 | David Gross 领队，另有 Douglas、Jaffe、Klebanov、Nekrasov | 暂不放 AI 材料，由小组自己写 10 |
三种做法由外部专家提出来，官方把他们称作「把关人」（shepherd）。10
外部协作守四条：透明，不签保密协议，参与者可自由讨论、分享中间产物、发表结论；不取学术署名，OpenAI 不为内部模型的发现索取功劳，邀请某人参与也不等于他做出了发现；署名给解释者，小组对它的理解、撰写与材料享有认可；独立，参与自愿无报酬，结论是小组自己的。10
官方也把代价写了出来：选谁做最初的把关人，就决定了谁先参与，也造成信息不对称；公告公开征求如何扩大参与。10
出资的部分有一句可查：OpenAI 此前已向 Simons Foundation 出资 500 万美元，用于支持研讨会、会议与特别项目；这次公告承诺为研究者独立核验与解释这些结果出钱。10
官方把这些手稿称为「一种原始研究数据」。这一句解释了后面所有安排的来由。10
接下来核验什么
- Terra 在订阅侧的额度倍数。 官方只说比 5.6 Terra 更耐花、比 Sol 与 Astra 更耐花，倍数没给。11
- Astra 的对照分是哪个档。 三张基准里 Astra 只有一个点，与 Terra 是否同条件跑没有交代。3
- 与 Opus 5.5 的九倍成本差怎么算。 输入输出比例、任务长度、是否含重试，页面都没有给。3
- Business 档与免费档什么时候跟进。 这次的上线名单是 Plus、Pro、Enterprise、Edu 四档，API 侧模型名
gpt-6.1-terra。5 - ETH 那项的外部复核。 Lean 证明已公开，谁去核、结论是什么、那场会议的时间与规模，都还没有。10
- 物理组什么时候放材料。 小组选择暂不释放，也没有给时间表。10
- 系统卡里的心理健康差距。 Terra 在 MentalHealthBench 低于 Astra 与 Sol，官方只写到「在既往发布水平内」。7
- 沿用挂起项。 ChatGPT 广告的展示价格与填充率、增量测量的设计、澳大利亚事件的后续、Hugging Face 更广审查 53 例之后的数字、Orchestra Bio 的金额与交割时间、Brotli 的 CVE 编号与受影响版本。Ultrafast 在订阅侧的单价仍无公开口径，但价目表这次确认了一件事：Ultrafast 那一栏没有 Terra。4
References
- 1
- 2
- 3Introducing GPT-6.1 Terra
openai.com
- 4OpenAI API 价目表
developers.openai.com
- 5
- 6
- 7Addendum to GPT-6 Astra System Card: GPT-6.1 Terra
deploymentsafety.openai.com
- 8
- 9
- 10
- 11
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.