Prefer to listen? Here's the narrated briefing on this area.
Listen to Long-term abundance and scientific acceleration
Audio streaming, downloadable PDFs and certificates come with Plus and Pro.
Evidence & Reach
Reid Hoffman's 2025 book *Superagency* argues that AI as cognitive amplification creates a positive feedback loop: better tools → better scientists → better tools. The 2024 Nobel Prizes in Physics (Hinton, Hopfield — neural networks) and Chemistry (Hassabis, Jumper — AlphaFold) recognized AI methods themselves as fundamental scientific contributions. Materials science discovery is accelerating: Google DeepMind's GNoME paper identified 2.2 million new stable inorganic materials in one paper. Fusion plasma control is now AI-assisted at multiple research reactors. Drug discovery timelines that took 10-15 years are now seeing AI-accelerated phases of 2-3 years. By 2026 the discoveries themselves were landing: OpenAI's reasoning model disproved a 1946 Erdős conjecture in discrete geometry, Google's Empirical Research Assistance system wrote expert-level scientific code published in Nature, and DeepMind's AlphaEvolve reported measurable algorithmic wins across seven research and industry fields. In September 2026 Anthropic reported that a multi-agent system built on Claude had formalized a complete proof of Fermat's Last Theorem in the Lean proof assistant in eleven days, producing 13 million lines of code that Lean verified from its three standard axioms — a task mathematicians had expected to take years, and one the mathematician leading the human formalization effort compiled and confirmed himself.
Sources:Formalizing Fermat's Last Theorem (Anthropic, 2026)Reid Hoffman — SuperagencyNobel Prize 2024 — Chemistry (AlphaFold)GNoME — materials discoveryReasoning model disproves a geometry conjecture (OpenAI, 2026)Google ERA — from Nature to computational discovery (2026)
A Specific Story
In 2025, a team at MIT used machine learning to screen 39,000 molecular compounds for antibiotic activity against drug-resistant *Acinetobacter baumannii* (a leading cause of hospital-acquired infections worldwide). They identified abaucin, the first novel structural antibiotic class in 60 years — a class of medicines that humanity had effectively stopped discovering in the 1980s. Clinical trials began in 2025. Multiply this story across every major disease category and the scale of what AI-augmented science can unlock starts to come into focus.
What's Next
AI-driven scientific research as a continuous loop (hypothesis generation → simulation → experimental design → result analysis → next hypothesis, with humans supervising at each stage but the loop itself running 24/7), fusion-energy commercialization accelerated by AI-controlled plasma, and the bigger thesis: that the rate of *useful scientific discovery per year* — currently flat or declining across many fields — finally starts climbing again.
Recent Top AI Stories showing progress in this area.
Claude produces the first computer-checked proof of Fermat's Last Theorem in eleven days
Anthropic says a multi-agent system built on Claude formalized a proof of Fermat's Last Theorem in the Lean proof assistant over eleven days, working largely without human direction, producing 13 million lines of code and proving about 29,500 intermediate theorems along the way. The proof follows a 1995 exposition by Darmon, Diamond and Taylor, and Lean verified it against nothing but its three standard axioms. Kevin Buzzard, the Imperial College mathematician leading a five-year human effort to formalize the same theorem, compiled the code himself and confirmed it, while noting that mathematically it teaches us nothing new; what it shows is that AI formalization artifacts are now solid enough to build on.
AI reconstruction delivers the largest brain map ever made, at 166,000 neurons
Researchers at the Howard Hughes Medical Institute's Janelia Research Campus, working with Google Research, published the complete connectome of the male fruit fly in the journal Cell on September 3. The map holds 166,000 neurons and 125 million synaptic connections, the largest brain map by neuron count so far. It was reconstructed by flood-filling convolutional networks and a system called PATHFINDER, trained partly with synthetic neurons; tracing that many cells from electron-microscope images by hand was never realistic. The full dataset is public and browsable through Neuroglancer.
An unreleased Claude raised a Riemann zeta lower bound from 41.6 percent to 67.2 percent
Anthropic asked a research build of Claude to attempt the Riemann hypothesis. It did not solve it, but it raised the known lower bound on the fraction of the zeta function's zeros satisfying the hypothesis from 41.6 percent to 67.2 percent, using about 31 million output tokens across two sessions and 54 arXiv papers. Two Anthropic mathematicians checked it, Claude produced a formal proof in Lean, a proof-checking language, and Brian Conrey and Dan Goldston reviewed the manuscript on short notice — Conrey set the 40 percent record in 1989. There is no published referee report yet, so treat it as a strong preprint claim rather than a settled result.
OpenAI publishes ten new mathematics results from an unreleased internal model
OpenAI released a paper collecting ten results across mathematics and theoretical computer science that it credits to an internal model. They include a disproof of the Connes rigidity conjecture in operator algebras, an exact determination of the Cohn-Elkies bound for high-dimensional sphere packing, and the construction of an explicit non-sofic group — questions open for a decade or much longer. The Information reports the system is Astra, a model family built for tasks that run for hours or days, which Sam Altman demonstrated to Washington policymakers and which OpenAI has not shipped.
Google gives $40 million in AI tools to the US Genesis Mission for science
Google committed $40 million in AI tools and cloud credits to the Genesis Mission, a White House initiative to double the pace of US scientific discovery within a decade. Tens of thousands of researchers across the US Energy Department's 17 national labs get a year of access to systems like AlphaFold, AlphaEvolve, and Gemini for Government. Early results are concrete rather than promissory: one materials lab cut microscope calibration from more than 90 minutes to about 13, freeing scientists to run real-time, autonomous experiments.