AI Morning Briefing — September 9th, 2026

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

---

🚀 Headlines (30 sec read)

• OpenAI claims an internal model solved the actual Navier-Stokes Millennium Prize problem — a 166-page, Lean-verified proof from 10,000 parallel agents, one day after rival mathematicians published their own related results.
• GPT-6 Astra demand is "unprecedented," OpenAI says — a new Pro signup pause may be coming — some of the surge may be Claude Code users switching over.
• An AI researcher who worked at both OpenAI and Anthropic resigned, warning the race is "gambling with our lives" — a fear his old employer's own alignment lead has voiced too.
• Sony and Warner sued Anthropic over "tens of thousands" of pirated song lyrics — seeking up to $150K per song, months after Anthropic's $1.5B book-piracy settlement.
• New from Matthew Berman: "ChatGPT solved a $1M Math Problem" — OpenAI casually revealed a next-gen model already beating four-day-old GPT-6 Astra on unsolved math.

---

🧠 Deep Dives (4 min read)

OpenAI Says It Solved the Actual Navier-Stokes Millennium Prize Problem

On September 8th, OpenAI escalated the Navier-Stokes saga dramatically: rather than the related-but-distinct blowup results in the Euler, Boussinesq, and porous-media equations credited to mathematicians Tristan Buckmaster and Levent Alpöge, OpenAI claims one of its own unreleased internal models — reportedly stronger than four-day-old GPT-6 Astra — produced a full proof that the actual three-dimensional incompressible Navier-Stokes equations can develop a finite-time singularity, the exact question the Clay Mathematics Institute attached a $1 million prize to in 2000. The company says roughly 10,000 agents worked in parallel for about 88 hours to produce a 166-page manuscript, at an estimated token cost somewhere between $10 million and $40 million (independent estimates put the Navier-Stokes portion alone at around 130 billion output tokens, roughly $6.5 million at API pricing). Critically, OpenAI then ran the proof through Lean, the formal proof assistant, and says it compiles — but Lean only verifies that the steps follow from whatever statement was typed in; it can't confirm that statement is actually a faithful encoding of the Clay Institute's problem rather than a subtly different "cousin." That human verification step is still ongoing, the Clay Institute hasn't accepted anything, and OpenAI itself says it isn't claiming the prize. The timing raised eyebrows: it landed just one day after Buckmaster and Alpöge published their own Lean-verified results for the related equations, describing the work as a "personal side project" paid for out of Buckmaster's own research funds, using Claude and Codex. Terence Tao weighed in on Mastodon warning that open math problems are becoming a resource "non-renewably mined" by AI labs racing for PR wins ahead of rigorous peer review. Whatever survives scrutiny, the compressed timeline is real — this is a Deep Blue moment for mathematics, credit disputes and all. → Source

GPT-6 Astra Demand Is "Unprecedented" — OpenAI May Pause New Pro Signups

Just five days after GPT-6 Astra's restricted rollout began, OpenAI's Codex and ChatGPT lead Thibault "Tibo" Sottiaux posted that demand for the model is "unprecedented" — a situation the company says it has never experienced before — and that OpenAI is mobilizing all available resources just to keep up with supply. The company already handed every paid subscriber a banked usage reset for each day they went without Astra access after launch, and chatter around the announcement suggests OpenAI is now weighing whether to pause new ChatGPT Pro signups entirely rather than degrade the experience for existing subscribers. Some of that demand may not even be pure organic growth: a widely shared analysis argues a meaningful chunk of the surge could be Claude Code users switching over, since at the same $100–$200/month price tier, an OpenAI subscription now unlocks Astra across Codex, ChatGPT, and Work, versus Anthropic's narrower Claude Code-focused Max plans — even though Claude Opus 4.8 still beats Astra on raw per-token API pricing. If even a fraction of that switching narrative holds up, it reframes the current model race: less about winning a benchmark, more about which subscription lets an agent finish more real work per dollar per month. → Source

An AI Researcher Quit Both OpenAI and Anthropic, Warning the Race Is "Gambling With Our Lives"

Jacob Coxon, who spent three years doing pretraining research at both OpenAI and Anthropic, announced his resignation on September 9th with an unusually direct public statement: neither company, he says, is acting responsibly, and both are "racing straight to self-improving superintelligence and gambling with our lives." Coxon argues the people actually building these systems increasingly believe advanced AI could master hacking, scientific research, and resource acquisition well enough to pose existential risk before the end of the decade — and that this isn't a marketing angle, it's their genuine internal read. The claim landed with more weight than a typical doomer take because it echoes, rather than contradicts, an existing internal position: Anthropic's own Alignment Science lead Evan Hubinger has previously put the odds of catastrophic outcomes without a clear safety plan above 10%. The resignation hit 400+ points on Hacker News within hours, arriving in the same week as the Sony/Warner lawsuit against Anthropic and OpenAI's contested Navier-Stokes claim — three separate stories all pointing at the same underlying tension: the labs racing hardest on capability are also the ones whose own people are most publicly worried about where the race ends. → Source

Sony and Warner Sue Anthropic Over "Tens of Thousands" of Pirated Song Lyrics

Sony Music Publishing, Warner Chappell Music, and affiliated publishers filed suit against Anthropic — along with CEO Dario Amodei and co-founder Benjamin Mann personally — in the Northern District of California in late August, alleging Claude was trained on lyrics unlawfully obtained through pirate libraries, web scraping, and shadow datasets including Common Crawl, The Pile, and Books3. The complaint claims Anthropic scraped licensed lyric sites like Musixmatch and LyricFind directly and ran a "destructive scanning" operation on second-hand physical books, then alleges Claude can reproduce or generate close derivatives of copyrighted lyrics from songs including "Hallelujah," "Eye of the Tiger," and "All I Want for Christmas Is You." Publishers are seeking statutory damages up to $150,000 per willfully infringed work plus $25,000 per instance of removed copyright management information — covering thousands of compositions, a number that could run into the billions if the claims hold. It's not Anthropic's first brush with this exact exposure: the company already paid $1.5 billion to settle a similar book-author suit over pirated text earlier this year, which makes this lawsuit less a novel legal question and more a test of whether that settlement number sets the market price, or whether music publishers can push it higher. → Source

---

New from YouTube (2 min read)

ChatGPT Solved a $1M Math Problem — Matthew Berman

Covers: A quick reaction to OpenAI's internal-model math benchmark reveal, where the company casually showed off a next-generation model — beyond GPT-6 Astra, released just four days earlier — that already outperforms it on unsolved, open math problems.

Example: Berman points at OpenAI's own benchmark chart: the blue line is GPT-6 Astra, the white line is a still-training, unnamed successor, both scored on a suite of genuinely unsolved (open) math problems.

→ Watch

---

📅 Coming Up This Week

Date	Event
Sept 9-10	AI Connect Expo (Atlanta) and GITEX AI Türkiye (Istanbul)
Sept 10	DeepSeek's 2-day V4.1 Flash limited beta window closes
This week	Independent mathematicians and the Clay Institute begin reviewing OpenAI's claimed Navier-Stokes blowup proof
Sept 17-18	AGNTCon + MCPCon Europe (Amsterdam)

---

🛠️ Try This Today

Audit Your AI Tools' Data-Training Defaults Before You Paste In Unpublished Work

Today's Navier-Stokes drama turns partly on a data question: OpenAI says it can't rule out that de-identified data from mathematicians' private Codex chats helped its models, even while denying direct access to their account. Before you paste unpublished research, client code, or a business plan into any AI tool, check what happens to it:

1. Open the settings on each AI tool you use (ChatGPT, Claude, Codex, Gemini) and look for a "data controls" or "improve the model" toggle — consumer web/app tiers often train on your chats by default, while most API tiers don't.
2. If you're on a free or Plus-style consumer plan and handling sensitive drafts, switch off training/history for that account, or move the work to an API-tier product that excludes training by default.
3. Check the provider's retention window too — turning off training rarely deletes what's already been ingested.
4. For genuinely sensitive unpublished work, treat any cloud AI tool as a place it could eventually leak from, unless the vendor's terms say otherwise in writing.

Why it matters: two mathematicians say they may have unknowingly fed a year of unpublished proof drafts into exactly this pipeline — worth five minutes of settings-checking before it happens to your own work.

---

⚡️ Quick Links (2 min read)

GitHub Trending

• ayghri/i-have-adhd — a skill built to stop coding agents from burying the answer in verbose output, today's #1 on both GitHub Trending and Hacker News
• openai/skills — OpenAI's own official skills catalog for Codex
• cathrynlavery/diagram-design — editorial diagram types for Claude Code and similar tools, built as self-contained HTML + SVG

Reddit Hot

• [r/LocalLLaMA] "OpenAI alleged of stealing mathematicians' work" — 1.2K upvotes, 225 comments piling onto the Navier-Stokes credit dispute → Discussion
• [r/ClaudeAI] "Fable 5.1 vs GPT-6 Astra for 2D Sprites" — a 733-upvote head-to-head comparison video, 146 comments deep → Discussion

Hacker News Top

• Muse – Meta's personal AI agent (465⬆️) — Meta's new personal AI agent product
• AlphaGenome Atlas (540⬆️) — DeepMind's high-resolution map of human DNA
• Mercury 2.5 (181⬆️) — Inception Labs' update to its diffusion-based LLM

---

🦞 TL;DR

The narrative today: OpenAI had one of its biggest days of the year — claiming a full Millennium Prize proof, revealing a mystery model that already beats four-day-old GPT-6 Astra, and admitting demand for Astra is so overwhelming it might have to shut the door on new Pro subscribers — while an AI safety researcher walked out the door warning that OpenAI and Anthropic are both racing toward something they can't control.

My take: the Navier-Stokes story is more interesting as a preview of how "AI solved X" claims will work going forward than as actual math: a lab announces a result verified only against its own encoding of the problem, a credit dispute trails behind it, and the real peer review takes weeks nobody in the news cycle will wait for. Watch the Buckmaster/Alpöge side of this at least as closely as OpenAI's press release.

What I'm watching: whether the Clay Institute — or any outside mathematician — actually confirms OpenAI's formalized statement matches the real problem, and whether "GPT-6 Astra demand pause" becomes an actual thing or just a supply-constrained flex.

Stay informed. Stay curious.