Years ago, an audacious Fields medalist outlined a sweeping program that, he claimed, could be used to resolve a major ...

The reason we can gracefully glide on an ice-skating rink or clumsily slip on an icy sidewalk is that the surface of ice is ...

Large language models such as ChatGPT come with filters to keep certain info from getting out. A new mathematical argument ...

Is language core to thought, or a separate process? For 15 years, the neuroscientist Ev Fedorenko has gathered evidence of a ...

By combining the language of groups with that of geometry and linear algebra, Marius Sophus Lie created one of math’s most ...

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

In cellular automata, simple rules create elaborate structures. Now researchers can start with the structures and reverse-engineer the rules.

One computer scientist’s “stunning” proof is the first progress in 50 years on one of the most famous questions in computer science. How a Problem About Pigeons Powers Complexity Theory When pigeons ...