Frontier signal stream

OpenAI officially named its next major model family 'Astra' via a math report stating an internal version solved ten open problems in mathematics and theoretical computer science that had seen no progress for at least a decade (spanning high-dimensional geometry, coding theory, group theory, quantum complexity, lattice cryptography and extremal combinatorics — including establishing the existence of non-sofic groups). Each proof was formalized in Lean for machine-checkable correctness; OpenAI says the tokens for all ten solutions would cost ~$2,000 at API rates. Astra is designed to coordinate multiple agents on problems for hours or days, and is expected to be the first model submitted under the US administration's planned pre-release AI review framework.

OpenAI launched its GPT-5.6 family in three tiers (Sol for hardest reasoning/security, Terra for high-volume business, Luna for fast low-cost work), setting new state-of-the-art on TerminalBench 2.1 (Sol 91.91%). Notably the models are restricted to ~20 trusted partners initially after OpenAI shared them with the US government, following Trump's June 2 executive order mandating federal benchmarking of new AI models before wide release; all three tiers are classified 'High' risk for cyber and bio/chem capability.