The Brief Brief Science
what we just learned about everything.
Science — briefly, then briefly again · tbb.ceo
listen tothe daily 0:00 –:––
/daily ·09 SEPT 2026 ·WEDNESDAY ·2 MIN READ ·6 STORIES

Machines Prove What Humans Couldn't

AI cracks two of history's hardest math problems, DeepMind maps every DNA mutation, and a gene therapy trial turns deadly.

01 / The Day

WEDNESDAY 09 SEPT 2026, ranked

06

AI Systems Claim Two Century-Old Mathematical Proofs in One Week

OpenAI published a proposed proof of the Navier–Stokes existence and smoothness problem — a Millennium Prize Problem — while Anthropic simultaneously announced formal verification of Fermat's Last Theorem using AI-assisted proof tools, marking the most concentrated week of AI mathematical achievement on record.

  • Navier–Stokes describes turbulent fluid flow and has resisted proof since the 1820s; Clay Institute verification is ongoing
  • Anthropic's Fermat proof built on Andrew Wiles's 1995 human proof but formalized it in the Lean proof assistant
  • If Navier–Stokes holds, OpenAI is eligible for the $1 million Clay Millennium Prize
Why it mattersTwo solved problems in one week — one of them a Millennium Prize — would represent a phase change in what AI can do in formal mathematics.
01 quantamagazine.org↗

DeepMind's AlphaGenome Atlas Scores Every Possible Human DNA Mutation

DeepMind released AlphaGenome Atlas, a model that predicts the functional consequence of all ~9 billion possible single-nucleotide substitutions across the three-billion-base human genome — covering gene regulation, splicing, and tissue-specific expression, including variants that have never appeared in any living person.

  • Extends the AlphaFold architecture from protein structure into regulatory genomics
  • Primary near-term use cases are rare disease diagnosis and identifying drug targets in genetically unexplained conditions
  • Covers variants too rare or lethal to appear in population databases, filling a central gap in genomic medicine
Why it mattersThe bottleneck in genomic medicine has never been sequencing — it's interpretation; Atlas addresses that gap at genome scale.
02 deepmind.google↗

Optical Clocks Synchronised Across Four Nations for the First Time

European researchers synchronized optical atomic clocks — the world's most precise timekeepers — across a four-country network via optical fibre, achieving a timing agreement at the 10⁻¹⁹ level and demonstrating the infrastructure needed for a future redefinition of the SI second.

  • Optical clocks are roughly 100× more precise than the caesium-fountain clocks that define the current SI second
  • The network spans Germany, France, the Netherlands, and the UK via 2,200 km of dedicated fibre
  • Applications include testing general relativity, detecting gravitational waves, and next-generation GPS
Why it mattersRedefining the SI second around optical clocks would make global timekeeping more than an order of magnitude more precise — with downstream effects on every precision measurement system on earth.
03 nature.com↗

In Vivo CAR-T Therapy Reduces MS Lesions in First Human Trial

A Phase I trial of in vivo-manufactured CAR-T cells — where the engineering happens inside the patient's body rather than in a laboratory — showed reduction in MRI lesion burden in relapsing-remitting multiple sclerosis, presenting the first clinical evidence that in vivo immune reprogramming can work in a CNS autoimmune disease.

  • Conventional CAR-T requires extraction, lab engineering, and reinfusion; this approach uses a viral vector to reprogram T-cells in the bloodstream
  • Six of eight patients showed lesion reduction at 24 weeks; trial was not powered to measure clinical outcomes
  • Approach could dramatically reduce manufacturing cost and time if it generalises beyond MS
Why it mattersIn vivo CAR-T removes the manufacturing bottleneck that makes cell therapies expensive and logistically complex — if the approach scales, it changes the economics of immune therapy broadly.
04 nature.com↗

Two Children Die in Chinese Gene Therapy Trial; Trial Suspended

Chinese regulators suspended a gene therapy clinical trial after two paediatric participants died from immune responses attributed to the viral vector used for gene delivery, prompting emergency reviews of AAV-vector dosing protocols in ongoing trials globally.

  • Both deaths occurred within 30 days of infusion and were attributed to high-dose AAV-mediated hepatotoxicity
  • China's NMPA suspended enrolment; the FDA issued a safety communication requesting updated consent language in US AAV trials
  • The event echoes the 2021 deaths in high-dose Zolgensma trials and revives debate over vector dose safety windows
Why it mattersGene therapy is moving rapidly toward broader paediatric use; deaths in trials set the regulatory and ethical terms for how aggressively that pace continues.
05 nature.com↗

Psilocybin Blocks Chemotherapy-Induced Peripheral Neuropathy in Mouse Model

Researchers at UCSF demonstrated that psilocybin — administered before and during chemotherapy — prevented the development of chemotherapy-induced peripheral neuropathy (CIPN) in a mouse model, with the protective effect appearing independent of the drug's psychedelic action.

  • CIPN affects up to 30% of chemotherapy patients and has no approved prevention; it can be permanent
  • Effect was replicated with a non-hallucinogenic psilocybin analogue, suggesting mechanism lies outside serotonin-2A receptor activation
  • Human trials are being designed; the findings are preclinical and require replication
Why it mattersIf the non-psychedelic mechanism replicates in humans, it opens a path to a CIPN preventive drug without the regulatory burden of a Schedule I compound.
06 nature.com↗
Be subscriber #013 the weekly ten, every friday by email · no spam · unsubscribe anytime
Past days

The Daily Archive

/TUE 15 SEPTThe fluid problem falls, probably/MON 14 SEPTDecoupled Oceans and Jurassic Antibiotics/SUN 13 SEPTSignals and Silences/FRI 11 SEPTNew Proof, Old Problem/THU 10 SEPTHottest Month, Earliest High/WED 09 SEPTMachines Prove What Humans Couldn't/TUE 08 SEPTField Notes/MON 07 SEPTFractons, copper chains, and underground fire/SUN 06 SEPTMilliseconds and megayears/SAT 05 SEPTScience/FRI 04 SEPTImmune Reprogramming and Physics Overturned/THU 03 SEPTSeptember Synthesis/WED 02 SEPTWednesday, September 2/TUE 01 SEPTThe gaps get smaller/MON 31 AUGAcceleration Confirmed/SUN 30 AUGDiamond Rain and Resistant Air/SAT 29 AUGRoman Telescope Ready, Betelgeuse Has Company, Pain Gets an Off-Switch/FRI 28 AUGNeutrinos Solved, Oceans at Records, and El Nino Is Getting Stronger/THU 27 AUG34 Amino Acids, 24 Legs, Net Zero Doubts/WED 26 AUGShingles, Senescence, and a Cheaper Forest/TUE 25 AUGRoman Gets Its Window