AI Briefings·7 min read

AI Morning Briefing — October 27th, 2026

Lyubo
Lyubo·
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

DateEvent
This weekAnthropic IPO: price range and roadshow details expected; listing reported as early as next month
This weekExpert reaction to OpenAI's ETH disproof and Lean artifacts
Early DecMicrosoft buyout acceptance deadline
Nov 30Reported 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:

  1. Pick one real task your agent does (e.g. a bug fix or a research query).
  2. Log input, cached-input and output tokens for the whole run, not just one call.
  3. Multiply by the per-token prices of two models and compare the totals.
  4. 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

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


🦞 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.

Share:
AIAnthropicOpenAIDaily Briefing