Ben Brubaker

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

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.

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

Recent findings reveal that even simple pricing algorithms can make things more expensive.

Naomi Saphra thinks that most research into language models focuses too much on the finished product. She’s mining the history of their training for insights into why these systems work the way they do.

The quest to find the longest-running simple computer program has identified a new champion. It’s physically impossible to write out the numbers involved using standard mathematical notation.

A canonical problem in computer science is to find the shortest route to every point in a network. A new approach beats the classic algorithm taught in textbooks.

In theory, quantum physics can bypass the hard mathematical problems at the root of modern encryption. A new proof shows how.

One computer scientist’s “stunning” proof is the first progress in 50 years on one of the most famous questions in computer science.