Computer science

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.

Henry Yuen is developing a new mathematical language to describe problems whose inputs and outputs aren’t ordinary numbers.

Machine learning is helping neuroscientists organize vast quantities of cells’ genetic data in the latest neurobiological cartography effort.

The math of data structures helps us understand how different storage systems come with different trade-offs between resources such as time and memory.