AI News for September 9, 2026 — 7min.ai

[RESEARCH] OpenAI claims a Navier-Stokes proof, burning $22.5M of compute in 88 hours: OpenAI says an unreleased internal model solved the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems carrying a $1 million bounty.
[NEWS] NYU mathematician says OpenAI fought dirty on the Navier-Stokes race: NYU professor Tristan Buckmaster published a four-page statement alleging OpenAI learned of his unpublished work with Anthropic mathematician Levent Alpöge, then raced to a full proof using the same unusual route.
[TOOLS] Meta launches Muse, a personal AI agent that shops, emails, and negotiates: Meta unveiled Muse, a personal AI agent that opens a browser, fills out forms, books travel, sends emails, lowers bills, and negotiates on a user's behalf.
[RESEARCH] DeepMind maps all 9 billion possible DNA letter changes with AlphaGenome Atlas: Google DeepMind released AlphaGenome Atlas, a precomputed catalogue predicting the molecular effect of every one of the roughly 9 billion single-letter mutations possible in the human genome.
[NEWS] Anthropic researcher quits, says both labs are 'gambling with our lives': Jacob Coxon resigned from Anthropic on Tuesday after three years of pre-training research split between OpenAI and Anthropic, writing on X that "neither company is acting responsibly" and that both are "racing straight to self-improving superintelligence." He worked on GPT-4o at OpenAI before moving to Anthropic in July 2026.
[NEWS] ASML's High NA EUV machines cost up to $400M each, new masks boost output 40%: New pricing detail on ASML's commitments from TSMC, Samsung, and Intel: the High NA EUV lithography machines the three foundries agreed to adopt cost up to $400 million each.
[NEWS] Google puts €13B into Finland, its biggest European investment ever: Alphabet is committing at least €13 billion ($15.1 billion) to AI infrastructure in Finland, the largest investment Google has ever made in Europe.
[NEWS] Qualcomm signs Amazon as a data center chip customer, hands over $4B in warrants: Qualcomm will supply Amazon Web Services with custom AI chips in a deal spanning "multiple generations," and issued Amazon warrants to buy as much as $4 billion of Qualcomm stock.
[NEWS] Meta ran 332 ads containing AI child sexual abuse material: Meta failed to detect 332 ads containing AI-generated CSAM on Facebook and Instagram this year, according to a Tech Transparency Project investigation, and took days to remove them.
[RESEARCH] OpenAI's coding agents now do 3.1 workdays of research per human workday: New figures from OpenAI's research-acceleration disclosures: its coding agents now log 3.1 workdays of effort for every workday a human researcher puts in, token output is up 124x since December, and 80% of researchers now run four or more agents at once, hitting the "automated research intern" milestone Sam Altman targeted for September.

About 7min.ai · Subscribe to newsletter