Pull to refresh
Logo
Stanford University

Stanford University

University

Appears in 7 stories · Last updated Nov 10, 2026

Stories

AI system produces Lean-checked proof of Aaronson-Ambainis conjecture

New Capabilities

Reviewing the proof; proved a special case in August 2026

For 18 years, a conjecture by Scott Aaronson and Andris Ambainis has limited what quantum computers could do with random inputs. On November 6, Physical Superintelligence said an internal AI system had proved it, and the Lean proof assistant accepted every step.

Updated Yesterday

Algae inside a marine worm move on the host's actin

New Capabilities

Led the tracking microscopy

A single-celled alga can move hundreds of micrometers through the body of a marine worm, even while squeezed inside host-cell tubes about 200 nanometers wide. The alga, Amphidinium, still has its flagella. But when researchers tracked it inside live Waminoa worms, they found the host's actin machinery was doing the moving.

Updated Nov 2

Nobel Prize in medicine honors optogenetics pioneers

New Capabilities

As of October 2026: Deisseroth's home institution

The 2026 Nobel Prize in Physiology or Medicine went to three scientists who built a way to switch individual nerve cells on and off with light. Karl Deisseroth, Peter Hegemann and Georg Nagel share the 12 million Swedish kronor prize for optogenetics.

Updated Oct 8

Mice with human brain cells open a new path to studying brain disease

New Capabilities

As of September 2026: Hosts the lab that led the study

Stanford scientists created mice that grow lab-grown human neurons where their own brain cells were โ€” the deepest integration yet of human tissue into an animal brain. The team depleted roughly 14 million native mouse cortical neurons and gave 4 million human ones room to expand.

Updated Sep 16

Humanoid robot learns to sprint and spin kick using AI trained on human motion data

New Capabilities

As of September 2026: Co-developer of BeyondMimic

Humanoid robot videos usually show one trick per clip, each engineered until it looks right. Researchers at UC Berkeley and Stanford taught a Unitree G1 robot to sprint, spin-kick, crawl, dance and land aerial cartwheels using one training setup with shared settings.

Updated Sep 13

AI crosses the genome design threshold

New Capabilities

As of May 2026: Academic partner in Evo development and phage research

Stanford and Arc Institute researchers used an AI called Evo to write genetic code for 302 bacteriophage viruses from scratch. Sixteen of them workedโ€”they replicated, killed bacteria, and some even outperformed the natural virus they were modeled on. It's the first time a machine has designed complete, functional genomes without human input on gene selection or arrangement.

Updated May 19

The race to break AI's memory wall

New Capabilities

As of May 2026: Lead research institution on monolithic 3D chip development

A team from Stanford, Carnegie Mellon, Penn, and MIT built a true 3D chip stacking memory directly on logic at a U.S. commercial foundry. Presented at December's IEEE electron devices conference, it beats conventional flat chips by 4x in tests and could deliver 1,000x energy efficiency gains in future generations. It uses carbon nanotube transistors and resistive RAM built at low temperatures, creating vertical data highways instead of today's horizontal crawl.

Updated May 16