The Future of Quantum Computing

Latest Articles

The Year in Physics

December 17, 2025

Physicists spotted a “terribly exciting” new black hole, doubled down on weakening dark energy, and debated the meaning of quantum mechanics.

The Year in Computer Science

December 16, 2025

Explore the year’s most surprising computational revelations, including a new fundamental relationship between time and space, an undergraduate who overthrew a 40-year-old conjecture, and the unexpectedly effortless triggers that can turn AI evil.

The Year in Biology

December 15, 2025

Take a jaunt through a jungle of strange neurons underlying your sense of touch, hundreds of millions of years of animal evolution and the dense neural networks of brains and AIs.

String Theory Inspires a Brilliant, Baffling New Math Proof

December 12, 2025

Years ago, an audacious Fields medalist outlined a sweeping program that, he claimed, could be used to resolve a major problem in algebraic geometry. Other mathematicians had their doubts. Now he says he has a proof.

Cryptographers Show That AI Protections Will Always Have Holes

Large language models such as ChatGPT come with filters to keep certain info from getting out. A new mathematical argument shows that systems like this can never be completely safe.

Why Is Ice Slippery? A New Hypothesis Slides Into the Chat.

December 8, 2025

A newly proposed explanation for the slipperiness of ice has revived a centuries-long debate.

Q&A

The Polyglot Neuroscientist Resolving How the Brain Parses Language

December 5, 2025

Is language core to thought, or a separate process? For 15 years, the neuroscientist Ev Fedorenko has gathered evidence of a language network in the human brain — and has found some parallels to LLMs.

What Are Lie Groups?

December 3, 2025

By combining the language of groups with that of geometry and linear algebra, Marius Sophus Lie created one of math’s most powerful tools.

‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard

December 1, 2025

Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.