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

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 ...

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 ...

Is language core to thought, or a separate process? For 15 years, the neuroscientist Ev Fedorenko has gathered evidence of a language network in the human brain — and has found some parallels to LLMs.

Integer linear programming can help find the answer to a variety of real-world problems. Now researchers have found a much faster way to do it. Inspired by the results of a game-playing neural network ...

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 ...

The supercollider is now being used to explore quantum phenomena, including a “magic” form of quantum entanglement.

For 50 years, mathematicians have believed that the total number of real numbers is unknowable. A new proof suggests otherwise. In October 2018, David Asperó was on holiday in Italy, gazing out a car ...