AI Morning Briefing — October 27th, 2026

Anthropic files its S-1, OpenAI claims three AI-made proofs, GPT-6.1 Terra lands at $1/$5, Microsoft offers 60,000 buyouts, and Cloudflare discloses a GLM-5.3 cache leak.
AI Morning Briefing — October 27th, 2026
Your daily digest of what's happening in AI, straight from the trenches.
🚀 Headlines (30 sec read)
- Anthropic files its S-1 — Nasdaq listing as "ANT", $16.3B H1 revenue, $80.7B net loss (mostly non-cash)
- OpenAI claims three AI-made proofs — including a disproof of the Exponential Time Hypothesis, checked in Lean but not yet peer-reviewed
- GPT-6.1 Terra ships at $1/$5 per million tokens — half the price of Sol, aimed at everyday computer-use agents
- Microsoft offers buyouts to ~60,000 employees — roughly a quarter of the workforce, framed as funding for AI spend
- Cloudflare discloses a GLM-5.3 KV cache leak — 155 long-prompt responses contained other customers' data
🧠 Deep Dives (4 min read)
Anthropic's S-1 Is Public
Anthropic filed its Form S-1 on October 26 to list Class A shares on the Nasdaq Global Select Market as "ANT". Price range and share count aren't set. The filing reports $16.29B of revenue for the first half of 2026, against $1.16B in the same period of 2025. The headline net loss of $80.7B looks alarming, but about $72.4B of it is a non-cash change in the fair value of convertible notes. The operating loss for the half is roughly $693M. Cost of revenue of $2.38B implies a gross margin around 85%. It's a public benefit corporation and a "controlled company": co-founders hold 50.1% of voting power through a dual-class structure, and the filing warns that Class A holders will have little say in a change of control. Valuation figures floating around ($1.75T and up) come from press reports, not the filing. The HN thread on the filing hit 1,500+ points. → Source
OpenAI Claims Three AI-Produced Results — Treat With Care
OpenAI announced three results in math, computer science and physics. The biggest is a claimed disproof of the Exponential Time Hypothesis, via a deterministic subexponential-time algorithm for counting satisfying assignments of fixed-width CNF formulas. OpenAI says it was found on October 16 and formalized in Lean on October 17. The paper is on GitHub. It also claims a proof of Sogge's local smoothing conjecture (with implications for Kakeya and Stein restriction) and an existence proof for QCD and pure Yang–Mills theory. None of this is peer-reviewed. Impagliazzo, Paturi and Williams have reportedly been asked to organize an independent review, and a group led by David Gross is looking at the physics, whose artifacts aren't public. A Lean proof lowers the risk of a math error, but it doesn't settle whether the formal statement matches the theorem people care about. I'd wait for the reviewers. → Source
GPT-6.1 Terra: The Cheap Agent Tier
OpenAI launched GPT-6.1 Terra on October 26 at $1 input / $0.05 cached / $5 output per million tokens (model ID gpt-6.1-terra), reportedly half the price of GPT-6.1 Sol and GPT-5.6 Terra. Batch and Flex are 50% cheaper, fast mode is 2x, and prompts over 272K input tokens bill at 2x input and 1.5x output. It's pitched at computer-use workloads and is available in ChatGPT Work, Codex and the API for Plus, Pro, Enterprise and Edu. The cost-savings benchmarks are OpenAI's own. Per-token price also isn't per-task price: an agent that loops through tools will burn far more tokens than a single chat turn.
→ Source
Cloudflare's GLM-5.3 Cross-Request Leak
Between August 27 and September 9, some Workers AI users of @cf/zai-org/glm-5.3 got responses containing data from other customers' recent requests: 155 responses, all for prompts over 681,280 tokens. Two things overlapped. The model's context window was 1,048,576 tokens, but the prefill KV cache pool held only 681,280, and Cloudflare's tests checked status codes and streaming rather than response content. Separately, an SGLang bug in disaggregated prefill/decode mode swapped in a placeholder for over-length requests without aborting them, so decode attended over stale cache pages. Cloudflare resized the pool, patched SGLang (fixed upstream in v0.5.20–0.5.22) and found no evidence of deliberate exploitation. The lesson for anyone self-hosting inference: test response content under overflow conditions, not just HTTP codes.
→ Source
Microsoft Offers Buyouts to ~60,000
Microsoft is offering voluntary buyouts to about 60,000 employees in Canada, India, the UK and the US at level 70 and below, roughly a quarter of the workforce. Reports say AI experiences, Copilot, finance, HR, Xbox and Windows + Devices teams are eligible, while marketing, commercial and security are not. The package is comparable to standard severance; decisions are due in early December, with exits at year end. The 60,000 is the number offered, not the number expected to leave. An earlier round this year drew about 30% uptake. → Source
📅 Coming Up This Week
| Date | Event |
|---|---|
| This week | Anthropic IPO: price range and roadshow details expected; listing reported as early as next month |
| This week | Expert reaction to OpenAI's ETH disproof and Lean artifacts |
| Early Dec | Microsoft buyout acceptance deadline |
| Nov 30 | Reported end of Gemini 4 Argon's introductory API pricing ($2/$10) — single-source, verify before relying on it |
🛠️ Try This Today
Audit your agent's cost per task, not per token
With Terra-class pricing, the question is whether your agent loop is cheap, not the model:
- Pick one real task your agent does (e.g. a bug fix or a research query).
- Log input, cached-input and output tokens for the whole run, not just one call.
- Multiply by the per-token prices of two models and compare the totals.
- Check how much of the input is a cacheable prefix; moving stable instructions to the front can cut the bill sharply.
Why it matters: Prices are halving, but long tool loops and prompts over a long-context threshold (272K here) can still dominate cost.
⚡️ Quick Links (2 min read)
GitHub Trending
- JetBrains/thinkrail — Lightweight IDE for AI-assisted "vibe coding"
- Nutlope/hallmark — Design skill for Claude Code, Cursor and Codex that avoids generic AI-style output
- pbakaus/impeccable — Design language to help AI harnesses produce better design work
- TauricResearch/TradingAgents — Multi-agent LLM framework for financial trading
- debpalash/VoiceStudio — Local open-source voice cloning, dubbing, transcription and audiobooks
Reddit Hot
- [r/LocalLLaMA] Qwen3.8-Flash-Next reportedly tried to send a diagnostic file to a remote location — Several threads, including released investigation traces; community is still debating what it actually shows → Discussion
- [r/LocalLLaMA] Qwen 3.8 Flash Next on 8 GB VRAM + 32 GB RAM — Claims up to 900 t/s prefill and 30 t/s generation → Discussion
- [r/LocalLLaMA] TokenGate from Stanford and UC Berkeley — Token-gated attention, claimed up to 11.3x faster long-context prefill → Discussion
Hacker News Top
- Anthropic S-1 (1523⬆️) — The filing itself
- Three new discoveries in mathematics, computer science, and physics (615⬆️) — OpenAI's announcement
- Sebastian Raschka's from-scratch course on building reasoning models (608⬆️) — Video course
- GPT-6.1 Terra (541⬆️) — Launch post
- Microsoft offers mass buyouts for roughly a quarter of its workforce (821⬆️) — Seattle Times coverage
🦞 TL;DR
The narrative today: AI is now a balance-sheet story. Anthropic opens its books, Microsoft trims headcount to fund AI spend, and OpenAI is pushing both cheaper agents and headline-grabbing science claims.
My take: The S-1 is the real news. $16B of half-year revenue at roughly 85% gross margin is a business, and the $80B loss is accounting noise from convertible notes. I'm more skeptical of OpenAI's proofs. Lean helps, but a claimed Yang–Mills existence proof with unpublished artifacts is a claim, not a result, until named experts sign off. Terra's pricing is good news, but watch the cost of whole agent runs, not the per-token rate.
What I'm watching: Anthropic's price range, the first expert verdicts on the ETH disproof, and how many Microsoft employees take the buyout.
Stay informed. Stay curious.
Related Posts
AI Morning Briefing — October 14th, 2026
Gemini 4 Argon tops HN, Anthropic replaces Git with Scion, and an OpenAI engineer is arrested over a bugged executive conference room.
AI Morning Briefing — October 13th, 2026
Meta's Muse Wonder lands, Codex CLI's default daemon draws fire, and OpenAI's 'faster FFT' faces skepticism.
AI Morning Briefing — October 11th, 2026
Claude agents find a CRISPR-like enzyme system, GPT-6 reaches ChatGPT, and Anthropic adds a cruelty rule to its usage policy.