GPT-5.6 与 Astra 的数学解题进展

Codex 代码里有趣的 GPT-6 Luna 泄露 后端有时会把 gpt-5.6-luna 的请求应答为 gpt-6-luna，而且代码里已经有它的定价支持 看起来 OpenAI 原本计划让它与 GPT-6 Sol 一同发布

这实际上太离谱了 CursorBench 4.0： grok 4.7 xhigh：46.3% - $6.01/任务 fable 5.1 medium：46.8% - $7.05/任务 gpt-5.6 sol max：41.7% - $8.23/任务 而且相比 grok 4.6 xhigh，它在成本基本不变的情况下从 41.4% → 46.3%

终于，在经历了相当安静的一周左右之后，这周有东西可看了 grok 4.7 出现在 OpenCode 中 opus 5.5，早前传闻称其与 opus 5.2 或 fable 5.2 是同一个 checkpoint gpt-6 Sol，可能上周被推迟了 kimi k3.1 也有暗示

gpt-6 sol 越来越像是下周就要发布了 它的能力介于 gpt-5.6 sol 和 gpt-6 astra 之间，同时使用的 token 明显更少，运行速度也比两者快得多--在速度和效率上类似 gemini 3.8 flash，但整体能力强得多

gpt-6 astra （md） 是游戏规则改变者 指令遵循比 5.6-sol-md 好得多，不会陷入无休止的反复纠结或随机跑题 现在我非常需要 gpt-6 sol 和 luna。如果它们的定价接近 5.6 sol/luna，那将是巨大的 更快更便宜

我不明白为什么人们认为 Google 需要一个"Astra"级别的模型才能重回牌桌 gemini 4 pro 不需要那个 如果它只是与 opus 5 和 gpt-5.6 sol 持平，同时更便宜、更快、提供更高的限额，那就足以赢回大量市场份额 这些模型如此庞大且昂贵，商业模式根本不可持续

openai 需要把 GPT-6 Astra 的定价降到 Tera 级别，否则将没有足够的算力支撑新的用户群体 pro 20x 订阅已连续 9 天对新用户关闭 我同意 Astra 的适用范围要广得多，但即便在这个价位上，算力仍然不足以支撑所有人

openai devday 的炒作已经开始了。 gpt-6 sol 本周被推迟后，应该在 devday 之前发布 对于 devday，我期待另一个千禧年大奖难题的解决方案，也许还有他们与 jony ive 合作的硬件的首次演示 我也希望我们能得到 gpt-6 luna

已经有这么多被炒作的 Gemini 4.0 演示了 但谷歌还需要更多时间，尤其是在后训练方面。我不认为他们想发布一个连 fable 5.1 和 gpt-6 astra 都打不过的模型 如果他们想跟上节奏，就需要这些热度，所以让他们慢慢来吧

GPT-6 Astra 帮助解决了一个自 2017 年以来悬而未决的数学开放问题，这也是 FrontierMath 首个"重大进展"级问题。Astra 并非找到反例，而是证明了反例不可能存在，并开发了证明这一结论的核心机制。据称该模型还提出了主要思路与证明，包括一种新的投票规则。