
Timo Springer
1.9K posts




yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model. We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more. More thoughts here: openai.com/index/ten-adva…

We are committed to pushing the model frontier across cost efficiency, capability, and speed. Starting today, we are reducing prices for GPT-5.6 Luna by 80% and GPT-5.6 Terra by 20% , and offering a faster option for GPT-5.6 Sol in the API. Luna and Terra’s lower prices are reflected in how usage is counted in Codex and ChatGPT Work, so your usage goes further.














Get your cope takes before the drop: - "It isn’t at the frontier, it’s 6 months behind when you look at the unreleased Mythos scores" - "It is benchmaxxed cause it performs only on GPT-5.3 level on [obscure eval]" - "Closed labs have better models internally"



a lot of people haven’t realized how much more capable Chat has become in the last few days how much of Codex is now available directly inside @ChatGPTapp on mobile and the web. the Codex desktop app is great. I obviously live there. but now, inside ChatGPT, you can tap Work on mobile or the web to hand off a task that runs in the cloud, no computer needed. you can also tap Remote to pick up and continue work already running on your computer. start at your desk, keep things moving on your phone, or kick off something new wherever you are. agents shouldn’t care which screen you started from.






A nation is not digitally sovereign because it can reproduce yesterday’s breakthroughs—half the world can do that. It is digitally sovereign because it can contribute to tomorrow’s. Call it innovation sovereignty: the power not to copy what exists, but to create what does not. The autarkist measures his strength by how much he can wall off and rebuild. The innovator measures his by how much he can invent that which no one else can. One ends the decade with a museum. The other ends it owning the future.

@sog_goog IH6 on the board 🙌












