GPT-5.6 Sol 发布但可能拿不到，GLM 5.2 抢不到货，STOC 现场跑通 AI 自动证数学题

2026-06-26 群聊日报

OpenAI 预览了 GPT-5.6，分 Sol、Terra、Luna 三档，Sol Ultra 在 TerminalBench 2.1 跑出 91.9% 排第一，最便宜的 Luna 也超过了上一代旗舰 Claude Opus 4.8。但受前一天出口管制消息影响，群里有人泼冷水说“5.6 也发不出来了”。另一边，GLM 5.2 的 Coding Pla...

推荐理由：GPT-5.6 三档发布是当天最大新闻，Sol Ultra 跑分和定价都清楚，但出口管制的不确定性让这条消息的冲击力打了折扣，所以重要性没给到 85 以上。GLM 5.2 卖断货和自动化证明流水线是加分项，不过日报本身是二手信息源，不是一手公告，整体判断就定在这个档位。