This week’s episode

DeepMind Atlas maps all 9 | 🤖 OpenAI proves Navier-Stokes forms finite-time | tBE therapy remits SCD | 🧪 Switchable Cu atoms couple methane | Claude formalizes Fermat’s last theorem | 🧬 Zuck unveils Muse, a personal

Sep '26 – This week, machine intelligence formalized centuries-old mathematics and solved a Millennium Prize problem, while gene editors achieved transfusion independence across global populations and chemists cracked methane-to-acetic-acid conversion. These breakthroughs reveal.

Ready to play9 Sept 2026
The audio edition

DeepMind Atlas maps all 9 | 🤖 OpenAI proves Navier-Stokes forms finite-time | tBE therapy remits SCD | 🧪 Switchable Cu atoms couple methane | Claude formalizes Fermat’s last theorem | 🧬 Zuck unveils Muse, a personal

This week's NotebookLM episode

00:00--:--

Article stream

Selected articles, synthesized in order

deepmind.google2 min read

DeepMind Atlas maps all 9 billion DNA variants

Google DeepMind released AlphaGenome Atlas on September 8, 2026, with precomputed predictions for every one of the 9 billion possible single-nucleotide changes in the human genome, plus an AVI score that combines AlphaGenome and AlphaMissense. Collaborators used it to prioritize rare-disease variants and to find 22% more non-coding associations in UK Biobank whole-genome data. The resource is free for academic use via a website and API and is not validated for clinical use.

Read source
OpenAI2 min read

OpenAI proves Navier-Stokes forms finite-time singularity

OpenAI says an internal multiagent system produced an analytical proof, with a Lean formalization, that smooth three-dimensional incompressible Navier-Stokes flow can develop a singularity in finite time, establishing Millennium Prize statements C and D. Roughly 10,000 concurrent agents reached the result in about 88 hours after September 1, with Lean verification taking another 17 hours via GPT-6 Astra. OpenAI says it does not intend to claim the Millennium Prize for the result.

Read source
prnewswire.com2 min read

tBE therapy remits SCD and β-thal across ancestries

CorrectSequence Therapeutics’ Cell Stem Cell paper (September 7, 2026) reports CS-101/CS-206 transformer base-editor therapy in four more patients—one Nigerian SCD case and three TDT cases from Laos, Malaysia, and Pakistan—after five Chinese TDT patients earlier reached transfusion independence. All four achieved transfusion independence or freedom from vaso-occlusive crises, with no detectable off-target edits. In the SCD patient, hemoglobin rose from 7.7 to 12.9 g/dL and HbF from 3.5% to 62.2%, with no VOCs through 15.5 months of follow-up.

Read source
Nature2 min read

Claude formalizes Fermat’s last theorem in Lean

Anthropic announced on September 4 that an advanced Claude prototype translated Andrew Wiles’s proof of Fermat’s last theorem into a 13-million-line, computer-checked Lean formalization—work expected to take humans about 10 years, finished in 11 days. Number theorists quoted by Nature say the job is an order of magnitude harder than the February AI formalization of Viazovska’s sphere-packing result. The piece frames this as machine-checked mathematics, not a new human proof of the theorem.

Read source

04 — Internet: For You

What’s buzzing online right now

X · Hacker News · Tech press
IN

Zuck unveils Muse, a personal agent @zuck introduces Muse, the personal agent that helps you get things done.

@zuck

X

Coxon resigns from Anthropic over ASI race Jacob Coxon (@hilbertspaess) resigned from Anthropic after three years of pretraining research at OpenAI and Anthropic, saying neither company is acting responsibly as they race toward self-improving superintelligence. He frames the endgame as a hubristic gamble launched from private labs and urges researchers not to shrug that "it's happening anyway" when kicking off superintelligent RL runs they do not understand.

@hilbertspaess

Open original

Previous episodes

Recent briefings you may have missed

View all

Join curious readers

Stay ahead of the curve.
Three times a week.

High-signal breakthroughs in science, tech, and markets. Under 3 minutes. No noise, no politics — just the future arriving early.

Free forever · Unsubscribe anytime · Delivered by Resend