AI Morning Briefing — May 21st, 2026

Your daily digest of what's happening in AI, straight from the trenches.

---

🚀 Headlines (30 sec read)

• OpenAI model disproves 70-year-old geometry conjecture — A general-purpose reasoning model found a counterexample to Erdős's unit-distance bound, sending the math world into a frenzy
• Anthropic's SpaceX bill: $15B/year — SpaceX's IPO filing reveals Anthropic pays $1.25B/month for Colossus compute, one of the largest cloud deals ever disclosed
• Claude Code sandbox bypass quietly patched — Anthropic silently fixed a security vulnerability that allowed bypassing Claude Code's execution sandbox

---

🧠 Deep Dives (4 min read)

OpenAI's Reasoning Model Breaks a 70-Year-Old Math Conjecture

In a result that's already shaking the mathematics community, OpenAI announced that one of its general-purpose reasoning models found a counterexample to the Erdős unit-distance conjecture in discrete geometry — a problem that has resisted human mathematicians since the 1950s. The model wasn't purpose-built for math; it reasoned its way to a structure that no human had constructed. Researchers at OpenAI are being careful to note this is a disproof, not a proof — but the implications for AI-assisted mathematical discovery are enormous. If reasoning models can find counterexamples to conjectures this deep, peer review in math may never look the same.

→ OpenAI announcement

Anthropic Is Spending More on Compute Than Most Countries' AI Budgets

SpaceX's IPO filing dropped this week with a bombshell buried on page 13: Anthropic is paying SpaceX $1.25 billion per month for compute on Colossus 1 and, newly disclosed, Colossus 2 — through May 2029. That's $15 billion per year, nearly half of Anthropic's rapidly growing ARR after Q1 2026. The deal likely represents a hefty premium over market rates (comparable capacity would run ~$6.4B/year at on-demand pricing), which tells you just how compute-starved Anthropic is. The payment scale also explains why Elon Musk did a very public 180 on Anthropic after years of tension. SpaceX says it expects "additional similar services contracts" — AI infrastructure is becoming the new oil royalty.

→ r/ClaudeAI discussion

GitHub Confirms 3,800 Repos Breached via Malicious VSCode Extension

GitHub confirmed a supply chain attack this week where a malicious VSCode extension compromised 3,800 repositories. The extension mimicked a popular dev tool and exfiltrated credentials and tokens silently. This is a serious wake-up call: the VSCode marketplace has virtually no vetting comparable to npm or PyPI's improving security posture, and developer tooling is a prime attack surface for AI-era supply chain attacks. If you installed any new extensions in the past few weeks, audit your token exposure now.

→ Bleeping Computer report

Figma Brings Claude Code and OpenAI Codex Into the Design Canvas

Figma announced AI agents embedded directly in its design canvas, powered by Claude Code and OpenAI Codex via partnerships with Anthropic and OpenAI. The agents can generate designs from natural language, modify existing components, create variations at scale, and run multiple agents in parallel. With Q1 2026 revenue up 46% YoY to $333M, Figma is clearly betting that AI agents inside the design tool — not just alongside it — are the differentiator against Adobe and Canva. This is the most significant convergence of coding agents and visual design tooling I've seen.

→ Full announcement coverage

---

📅 Coming Up This Week

Date	Event
May 22	OpenAI expected to confidentially file IPO paperwork
May 23	Qwen team hinting at new 27B model release
July 13	Claude Code 50% weekly limit increase expires
Aug 2026	EU AI Act high-risk system compliance deadline — mandatory for agent workflows

---

🛠️ Try This Today

Run HalBench: Test Your LLM's Sycophancy Resistance

A Redditor built an open benchmark specifically for LLM sycophancy and hallucination — 3,200 false-premise prompts across 4 domains. Claude Sonnet 4.6 came out on top, with Grok 4.3 second and GPT-5.4 a distant third.

1. Visit the HalBench Space and browse the 12,800 graded responses
2. Pick a model you use daily and filter for responses in the Programming (PC) domain
3. Look at A2 items (False Attribute of Real Referent) — the hardest category for all models
4. Compare how your model handles prompts built on false premises vs. how you'd want it to respond

Why it matters: Sycophancy is a silent tax on every AI-assisted decision. If your model tells you what you want to hear, you're flying blind. Knowing where your model fails lets you compensate with better prompting or model switching.

---

⚡️ Quick Links (2 min read)

GitHub Trending

• obra/superpowers — Agentic skills framework and software development methodology — 200k+ stars, +1,743 today
• tinyhumansai/openhuman — Private, simple personal AI superintelligence in Rust — 24k stars, +3,394 today (the day's biggest mover)
• colbymchenry/codegraph — Pre-indexed code knowledge graph for Claude Code, Codex, and Cursor — +2,123 today
• multica-ai/andrej-karpathy-skills — A single CLAUDE.md file to improve Claude Code behavior — 141k stars
• anthropics/claude-plugins-official — Official Anthropic-managed directory of high-quality Claude Code plugins

Reddit Hot

• [r/ClaudeAI] Self-hosted sandboxes and MCP tunnels for Claude Managed Agents now in public beta — Anthropic expands the agent infrastructure story significantly → Discussion
• [r/LocalLLaMA] Qwen3.6 27B and llama.cpp appreciation post — Users running dual RX 9070 XTs getting 46+ tok/s with MTP speculative decoding at 83% acceptance rate. Practically production-grade for local agentic work → Discussion
• [r/LocalLLaMA] AMD BC-250 and the search for cheap compute — Salvaged PS5 APUs ($50-150 on eBay) with custom HIP kernels showing +63% prefill improvement for LLM inference → Discussion
• [r/MachineLearning] OpenAI claims reasoning model found counterexample to Erdős's unit-distance bound — Strong academic discussion on what this means for formal verification and AI-assisted math → Discussion

Hacker News Top

• An OpenAI model has disproved a central conjecture in discrete geometry (1025⬆️) — Top story of the day by a wide margin
• GitHub confirms breach of 3,800 repos via malicious VSCode extension (744⬆️) — Supply chain attack via developer tooling
• How fast is N tokens per second really? (376⬆️) — Interactive tool for understanding real-world LLM speed perception
• OpenAI to confidentially file for IPO as soon as Friday (114⬆️) — The filing that will reshape AI funding narratives
• Intuit to lay off over 3,000 employees to refocus on AI (165⬆️) — Another wave of AI-driven workforce restructuring in enterprise software

---

🦞 TL;DR

The narrative today: AI broke math, bought a rocket, and got a security audit — all before noon.

My take: The OpenAI geometry result is genuinely exciting, but I'm most struck by the SpaceX compute deal. $15B/year is not a compute contract — it's a bet on AI infrastructure as a geopolitical lever. Anthropic is essentially pre-buying the ability to scale, at premium prices, because the alternative is being compute-constrained while the race accelerates. That's a rational move, but it means Anthropic's economic model needs to grow into that spend fast. Meanwhile, the GitHub VSCode breach is a reminder that as we rush to plug AI agents into our dev toolchains, our attack surface is growing faster than our defenses. Every new MCP server and extension is a potential pivot point. Audit your tooling.

What I'm watching: OpenAI's IPO filing Friday will set the narrative for the next 12 months of AI investment. The numbers will reveal whether the AI industry's economics are as strong as the hype — or whether we're in the middle of a very expensive game of musical chairs.

Stay informed. Stay curious.