Ben Brubaker

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

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.