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

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

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

In work that has been 30 years in the making, mathematicians have proved a major part of a profound mathematical vision called the Langlands program. A group of nine mathematicians has proved the ...

What movie do these emojis describe? That prompt was one of 204 tasks chosen last year to test the ability of various large language models (LLMs) — the computational engines behind AI chatbots such ...

In a report posted online today, Peter Scholze of the University of Bonn and Jakob Stix of Goethe University Frankfurt describe what Stix calls a “serious, unfixable gap” within a mammoth series of ...