Theme

Science is automated at the hardware level

Explore this theme’s evidence over time →

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to December 11, 2025 (theinnermostloop.substack.com)

Discovery moves from human-in-the-loop experiment design to self-driving labs and models trained on physical data rather than text.

Development timeline

Newest reporting dates first. Reporting dates may differ from event dates.

2026-09-29: Roche plans autonomous AI laboratories

2026-09-29: A Biology Millennium Problem is reportedly partially solved

2026-09-27: Amodei describes Claude-designed biology experiments

2026-09-24: AI-enabled drug programs reportedly reach initial trials faster

2026-09-24: Claude agents identify a reported new enzyme system

2026-09-24: Opus agents reportedly devise a faster asymptotic shortest-path algorithm

2026-09-20: Anthropic reportedly opens an antibody research lab

2026-09-20: Claude accelerates biomolecular models

2026-09-20: OpenAI reportedly approaches the Hodge conjecture

2026-09-20: Claude reduces a reported protein-design campaign cost

2026-09-17: Aaronson cites formal mathematics as evidence of a transition

2026-09-17: Dream-RSI matches a circle-packing result with fewer attempts

2026-09-17: Novo Nordisk adopts Claude Science

2026-09-15: A model cracks a 370-year-old cipher by realizing the key was the book itself

2026-09-13: A paper argues a 140,000-neuron brain is the proof of concept for everything larger

2026-09-12: A newly mapped fly brain is playing Doom within days

2026-09-12: Ten thousand agents solve a Millennium Prize problem in 88 hours

2026-09-12: A model scores all nine billion possible point mutations

2026-09-06: A mathematician calls for all human mathematics formalized in a year

2026-09-06: Agents write 13 million lines of Lean for the first checked Fermat proof

2026-09-06: A protein interaction map suggests shared pathways across autism genes

2026-09-04: The first probe aimed at another star has its route found in three days

2026-09-04: The first complete male fly connectome maps 166,700 neurons

2026-09-04: A model solves two open problems and proves prime gaps recur forever

2026-08-31: A launch retreat from one pad is read as clearing room for rivals

2026-08-29: A co-scientist designs a reactor route and invents a winning architecture

2026-08-29: A Jurassic soundscape is reconstructed from 165-million-year-old wings

2026-08-29: A hardware standard lets agents drive microscopes and robot arms

2026-08-25: Old fiber is turned into thousands of sensors mapping weak zones underground

2026-08-25: Simulations find a warp bubble would either ignite a fireball or barely glow

2026-08-23: A small model is trained to acquire research taste rather than procedure

2026-08-19: A model simulates a whole cell then designs molecules to move it

2026-08-19: An autonomous protein campaign binds fourteen of fifteen targets

2026-08-17: Rare diseases are flagged in minutes rather than a five-year odyssey

2026-08-16: A telescope spots a solar-system-sized object radiating a hundred billion suns

2026-08-16: A 27B AI scientist beats far larger models at reproducing unseen figures

2026-08-15: A founder says orbital compute becomes the only way to scale by 2029

2026-08-13: Astronomers release the largest 2D map of the universe yet

2026-08-12: A half-century search effectively proves matter made almost entirely of gluons

2026-08-12: A model raises a Riemann-hypothesis lower bound from 41.6% to 67.2%

2026-08-10: A new method finds ghost ancestry in every human population

2026-08-08: A study concludes bacteria and archaea became alive independently

2026-08-06: A weather model buys an extra day of cyclone lead time and is open-sourced

2026-08-05: Four senior researchers leave to automate the scientific method itself

2026-08-04: A hybrid model plus robotic experiments yields hundred-fold enzyme gains

2026-08-04: Mathematics uploads spike while budgets flatline, and 312 problems are resolved

2026-08-03: A twenty-year dataset suggests a familiar drug may curb metastasis

2026-08-02: A number theorist concedes his AI bet four years early

2026-08-02: A system recognizes wild monkeys and pays correct answers in dried banana

2026-08-01: A 150-year-old conjecture is shown false with a five-charge counterexample

2026-08-01: Ten problems open for a decade fall, all ten proofs under $2,000

2026-07-31: A framework demanding evidence chains produces zero phantom references

2026-07-24: A robotic servicer bolts jetpacks onto aging satellites

2026-07-24: A graduate solves six open Erdős problems at a 46% hit rate

2026-07-23: Decades-old conjectures fall in a day and become a national line item

2026-07-22: A $200 billion research budget is redirected toward individuals and AI

2026-07-21: A third of scored preprints read as machine-written

2026-07-21: A formalization leader calls machine-scale mathematics inevitable

2026-07-20: A conjecture open since 1939 is disproved by explicit counterexample

2026-07-19: Wildfire-detection satellites launch through the smoke they were built to see

2026-07-17: The first atmosphere is detected around a rocky habitable-zone exoplanet

2026-07-16: A lab adapts watermarking to biology and points its models at outbreaks

2026-07-15: A model disproves a statistical procedure cited 130,000 times

2026-07-14: A cell embedding model trained on 36 million cells annotates unseen species

2026-07-11: A fifty-year-old conjecture falls to 64 subagents in under an hour

2026-07-07: Mathematics submissions run 20% above trend as the PhD pipeline thins

2026-07-05: Triple-DNA forensics gives a name back to a Continental soldier

2026-07-05: A screen of 2.4 million crystals surfaces four verified superconductors

2026-07-04: A frontier lab will develop drugs of its own to pressure-test its science tools

2026-07-03: A CAR-T design hits both a tumor and the shield protecting it

2026-07-02: The largest digital camera ever built begins a decade-long survey

2026-07-01: A lab wires sixty-plus databases into one reproducible science workbench

2026-06-28: An Erdős problem falls and holds across 180,000 lines of formal proof

2026-06-27: A diffusion model rediscovers a fast-food staple then improves on it

2026-06-26: A scroll sealed since 79 AD is fully unwrapped and read

2026-06-26: An AI-designed antibody clears early safety and draws a $100M round

2026-06-25: A model composes DNA, RNA and proteins into validated designs

2026-06-25: A leading physicist credits a model with generalizing a calculation

2026-06-24: Zero-shot design produces multifunctional antibodies in six weeks

2026-06-21: A biology model raises the pass rate on 750 expert tasks

2026-06-20: A self-taught engineer claims a crack in a century-old undeciphered script

2026-06-19: A deep-research run over unsolved cases yields eighteen new diagnoses

2026-06-17: A near-autonomous AI chemist runs 10,080 experiments and finds the trick

2026-06-12: A laser phase plate images half the proteins running life inside cells

2026-06-09: A deterministic retrieval layer takes viral accuracy from 17% to over 90%

2026-06-07: An untuned general model matches specialist chemistry software

2026-06-07: A plasma signature flags lung cancer five years early

2026-06-07: A specialist system autoformalizes two number-theory papers

2026-06-05: The first AI-designed vaccine is trialled in people

2026-06-03: Sixteen mathematicians publish a declaration on AI and mathematics

2026-06-01: A deep-learning model finds evidence of a stable Martian ocean

2026-05-29: Humans disprove a conjecture using methods lifted from an AI proof

2026-05-28: A world model of protein biology is released

2026-05-28: Eight AI-authored papers appear on arXiv, five already accepted

2026-05-24: Nine more Erdős problems are resolved at a few hundred dollars apiece

2026-05-21: A general-purpose model disproves Erdős's unit distance conjecture

2026-05-21: A forecaster pulls her median for the Millennium Prizes to 2032

2026-05-20: A stack ties co-scientist, evolution and notebooks into one science platform

2026-05-17: An unreleased model helps find the first M5 memory exploit

2026-05-16: Nearly five thousand new drug trials begin, half of them in China

2026-05-14: Tokyo opens a fully automated medicine lab staffed by humanoids

2026-05-11: The first foundation model for Alzheimer's prevention is released

2026-05-11: Machine learning finds ten thousand new exoplanet candidates

2026-05-11: A self-writing harness takes the top spot in global token rankings

2026-05-09: A drug design lab raises over $2B as researchers coax living light

2026-05-09: A Fields medallist gets PhD-level research in about an hour

2026-05-05: Twenty-seven candidate planets are found orbiting two stars each

2026-05-04: Number theorists call machine proofs elegant and original

2026-05-03: A national lab replicates a condensed-matter paper with agents

2026-05-03: An AI-generated proof is adapted to crack a 60-year-old conjecture

2026-05-01: A model beats hundreds of physicians on real clinical cases

2026-05-01: DeepMind interviews field experts to map the data blocking discovery

2026-04-30: An AI spots pancreatic cancer 475 days before standard diagnosis

2026-04-29: A model finds a programmable DNA-targeting system that predates CRISPR

2026-04-29: A fresh olympiad benchmark more than doubles in a single release

2026-04-29: A student says solutions arrive faster than he can process them

2026-04-27: A 23-year-old with no advanced training solves an Erdős problem in one prompt

2026-04-23: A model outperforms human physicians on a professional health benchmark

2026-04-23: Mozilla patches 271 vulnerabilities and calls the defects finite

2026-04-17: A point release lands midway to a model the public cannot use

2026-04-16: A mathematician calls a machine proof one from The Book

2026-04-16: Lab-in-the-loop drug discovery becomes a managed service

2026-04-13: A kernel maintainer starts running AI-assisted fuzzing

2026-04-09: Five more Erdős problems close across three fields

2026-04-08: Over $100M in grants funds AI-built causal maps of Alzheimer's

2026-04-08: A coalition forms to patch the software the model can now break

2026-04-07: Three unsupervised days produce a memory system beating every baseline

2026-04-05: Thirty thousand agents formalize a graduate textbook

2026-04-03: A lab buys a drug discovery company for $400M

2026-04-02: The near-term framing shifts from superintelligence to replication

2026-04-01: Three more Erdős problems fall to an internal model

2026-03-31: A pharma giant pays $2.75B for AI-developed drugs

2026-03-31: Giving an agent research papers improves its results

2026-03-29: Autonomous zero-day discovery is demonstrated live

2026-03-29: A desktop mode ships for biology, from phylogeny to CRISPR screens

2026-03-29: A quantum processor matches neutron scattering on fifty qubits

2026-03-29: A mathematics olympiad goes from 5% to 95% in twelve months

2026-03-28: Problems are removed from a benchmark for being insufficiently notable

2026-03-27: A model trained on 1,000 hours of fMRI predicts brain responses

2026-03-25: A foundation aims a billion a year at curing Alzheimer's

2026-03-25: Agents autonomously run high energy physics analysis end to end

2026-03-24: A model takes direct control of the keyboard and mouse

2026-03-24: Epoch finds experts had the approach but not the execution

2026-03-24: A conjecture from 2019 is settled and its author approves

2026-03-22: An agent generates 665 novel research problems in differential geometry

2026-03-22: A model predicts function for the 99.9% of proteins never characterized

2026-03-20: Autoformalization gets benchmarked against qualifying exams

2026-03-18: The first autonomous mathematician ships free

2026-03-18: The DOE aims $293M at twenty national challenges

2026-03-18: A model solves two open problems, improving on published results

2026-03-17: An open exchange lets agents publish hypotheses to each other

2026-03-16: The first open-source agentic AI physicist launches

2026-03-15: A reviewing mode checks manuscripts against the constraints nature imposes

2026-03-15: An open agent scopes, derives, verifies and writes up physics research

2026-03-15: An autopilot mode compresses a well-scoped problem from weeks to hours

2026-03-13: AlphaEvolve sets new lower bounds for five Ramsey numbers

2026-03-12: Epoch investigates an apparent solution to an open problem

2026-03-12: A model finds new vulnerabilities in forty-year-old Apple II code

2026-03-12: A minimal cell is brought to life in four dimensions on a computer

2026-03-09: An autonomous research project runs 650 experiments in two days

2026-03-08: One model finds a fifth of a year's Firefox high-severity bugs in two weeks

2026-03-08: Agents form role-based biotech labs and pay for wet lab work

2026-03-08: A physics benchmark goes from 9% to 30% in four months

2026-03-06: A mathematician calls the solution his personal move 37

2026-03-06: A model begins making novel observations where none had scored

2026-03-06: A telescope with a hundred times Hubble's field of view prepares to launch

2026-03-05: A model cracks Knuth's Hamiltonian-cycle conjecture

2026-03-04: A code editor autonomously beats the official answer to a research problem

2026-03-03: Gauss formalizes a Fields Medal proof and finds two errors in it

2026-03-03: A number theorist predicts mathematical abundance within a year

2026-03-02: An orbital mirror launches as a telescope flags 800,000 events in one night

2026-02-27: The first chromatin aging atlas spans 21 tissues

2026-02-27: A pharma company builds a 9,000-petaFLOP supercomputer

2026-02-25: The first prime-edited patient is healthy ten months on

2026-02-23: A model solves a FrontierMath problem no model had solved

2026-02-21: A speculative venture steers storms by inverting a weather model

2026-02-20: One round of ML guidance gives tenfold gains in directed evolution

2026-02-19: Hassabis says all disease could be solved in ten to twenty years

2026-02-18: A beating heart-on-a-chip measures its own contractions

2026-02-17: The solved physics problem was really about attention scarcity

2026-02-16: A model conjectures a gluon formula and then proves it

2026-02-16: A lab claims six of ten confidential research problems

2026-02-15: A company organizes around producing new physics at scale

2026-02-13: The same ARC score costs 400x less than it did fourteen months ago

2026-02-12: Reprogramming memory trace cells reverses Alzheimer's in mice

2026-02-12: An internal model takes 91.9% on advanced proof benchmarks

2026-02-11: IsoDDE doubles AlphaFold 3 on protein-ligand prediction

2026-02-11: Nineteen agents optimize perovskite synthesis in three and a half hours

2026-02-09: OpenAI says there is no reason for grad students to pipette

2026-02-08: A model takes first on a research physics benchmark

2026-02-07: Mathematicians publish problems with encrypted solutions

2026-02-06: A model finds 500 zero-days, some decades old

2026-02-06: A prover settles an open research conjecture unaided

2026-02-05: Physicists meet in emergency session over 90% of their work

2026-02-03: DeepMind bulk-solves thirteen Erdős problems

2026-02-03: An autonomous lab cuts protein production costs 40%

2026-01-31: A model planned the first AI drive on Mars

2026-01-29: AlphaGenome predicts expression from raw DNA

2026-01-29: Kaplan puts even odds on replacing theoretical physicists in three years

2026-01-27: Altman promises a model 100x more capable and cheaper

2026-01-27: Hobbyists attempt all 675 open Erdős problems at once

2026-01-25: Scientists using AI publish three times more and are cited five times more

2026-01-25: FrontierMath Tier 4 jumps from 19% to 31%

2026-01-15: A hundred thousand gene circuits are characterized at once

2026-01-15: A model finds in five minutes a Bellman function sought for years

2026-01-14: HHS wants autonomous prescribing agents approved in two years

2026-01-14: The AMS president proves a result he is unsure he could reach alone

2026-01-13: Ecologists fear losing contact with their subject

2026-01-13: A 28B model designs antibiotics with a 97% hit rate

2026-01-13: Lilly and Nvidia put $1B into a joint AI lab

2026-01-13: Tao says he learned something from the machine

2026-01-12: Anthropic ships healthcare and life-sciences products

2026-01-12: A hobbyist reverse-engineers Coca-Cola

2026-01-12: Erdős #397 falls, the third this week

2026-01-12: AI fuzzing finds 69% of kernel bugs within a year

2026-01-11: Erdős #729 falls, the second in a week

2026-01-10: A virtual cell model learns biology in context

2026-01-10: A prover solves all twelve Putnam problems in Lean

2026-01-10: DrugCLIP screens ten million times faster than docking

2026-01-09: Tao calls the Erdős #728 solution a milestone

2026-01-08: Math, Inc. autoformalizes a web of Tao's estimates

2026-01-08: A model exactly solves an open physics problem

2026-01-08: A universal cell-signaling model goes into construction

2026-01-07: An Erdős problem is solved before any human solves it

2026-01-07: A mathematician runs out of hard problems

2026-01-07: One night of sleep predicts 130 conditions

2026-01-04: Alibaba's AI finds pancreatic cancer in plain CTs

2026-01-04: A three-month PhD project is replicated in twenty minutes

2026-01-04: ByteDance takes the top spot on FoldBench

2026-01-03: A donor's own lung is grown on a chip to test their treatment

2025-12-31: GPT-5.2 Pro takes 29.2% on FrontierMath Tier 4

2025-12-31: ML-guided simulation finds new 2D membrane materials

2025-12-31: Tao says the definition of a mathematician will broaden

2025-12-30: An AI-discovered Alzheimer's drug enters healthy humans

2025-12-30: SmartEM accelerates connectome imaging sevenfold

2025-12-29: Tao opens a ledger on AI's Erdős contributions

2025-12-27: A math agent solves Erdős #897 with no human input

2025-12-27: Sixty scientific models converge on one representation of physical reality

2025-12-23: Neural networks solve the Kohn-Sham equation directly

2025-12-23: AI simulates rare biomolecular events invisible to dynamics

2025-12-22: Deep learning identifies protective Mpox antigens

2025-12-22: Diffusion models design catalysts for low-carbon ammonia decomposition

2025-12-22: Researchers using LLMs post up to 50% more preprints

2025-12-21: A model predicts fruit fly embryo development to 90% accuracy

2025-12-20: Seed-Prover 1.5 solves 11 of 12 Putnam problems

2025-12-18: A mathematician solves his own open problem with GPT-5 and colour-codes authorship

2025-12-17: ChinaXiv auto-translates preprints into the global corpus

2025-12-17: GPT-5 directs a wet lab to a 79x better cloning protocol

2025-12-16: STOC 2026 gets automated peer review within 24 hours

2025-12-16: The Gauss agent autoformalizes a Kakeya proof in six hours

2025-12-16: St. Jude screens 9,045 drug combinations acoustically

2025-12-13: DOE commits $320M to a national discovery platform

2025-12-13: Terence Tao solves Erdős #1026 with machine assistance

2025-12-12: Astera funds a $600M decade on the neural syntax of consciousness

2025-12-11: DeepMind sets up an automated materials discovery lab in the UK

2025-12-11: Polymathic AI releases models trained on physics data

Knowledge graphopen in browser →

Cite or correct this record

Citation formatCitation text

Science is automated at the hardware level
Innermost Loop KB — secondary record
Reporting date: unknown
KB permalink: https://nicholsn.github.io/innermost-loop-kb/themes/automated-science
Attributed sources:
- Welcome to December 11, 2025 — https://theinnermostloop.substack.com/p/welcome-to-december-11-2025
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.