GPT-5.6 Sol launches, GLM 5.2 sells out, and AI auto-proving goes live at STOC

2026-06-26 群聊日报

OpenAI previewed GPT-5.6 in three tiers—Sol, Terra, Luna—with Sol Ultra hitting 91.9% on TerminalBench 2.1, though export controls cast doubt on actual availability. GLM 5.2 Coding Plans sold out across platforms; one user switched to Ollama Cloud and built an open-source SSO management tool on a $5 credit. At STOC 2026, a live demo showed GPT-5.5 Pro generating candidate proofs and Claude Opus 4.8 verifying them in a feedback loop on open math problems. Dario Amodei urged G7 leaders to form an AI alliance that excludes China. A Nature study co-funded by OpenAI introduced the 'amplification spiral' framework linking AI sycophancy and hyper-personalization to loneliness, flagging ~560k weekly mental-health risk signals among ChatGPT's 800M users.

Why it matters: GPT-5.6's three-tier launch is the day's biggest story—Sol Ultra tops the benchmark and pricing is clear—but export-control uncertainty caps the score below 85. GLM 5.2 selling out and the automated proof pipeline add value, but the daily digest is a secondary source, not a pr...