Computer science

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.

A $1 million prize awaits anyone who can show where the math of fluid flow breaks down. With specially trained AI systems, researchers have found a slew of new candidates in simpler versions of the problem.

Is the inside of a vision model at all like a language model? Researchers argue that as the models grow more powerful, they may be converging toward a singular “Platonic” way to represent the world.