Computer science

The podcast returns with 12 all-new episodes that explore the biggest questions in basic science and mathematics.

Do we need quantum computers to fully understand complex chemical reactions? A new result, decades in the making, shows the surprising power of ordinary “classical” machines.

A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.

AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.

Our tales of AI developing the will to survive, commandeer resources, and manipulate people say more about us than they do about language models.

Two research groups say they have significantly reduced the amount of qubits and time required to crack common online security technologies.

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.

Charles Bennett and Gilles Brassard were recognized for their foundational work in quantum information science.

The last decade has seen vast improvements in humanoid robots, but graduating to widespread use might require going back to the fundamentals.