THE mathematicians’ version of nothing is the empty set. This is a collection that doesn’t actually contain anything, such as my own collection of vintage Rolls-Royces. The empty set may seem a bit ...

Epoch AI, a California-based research institute launched a new artificial intelligence (AI) benchmark last week. Dubbed FrontierMath, the new AI benchmark tests large language models (LLMs) on their ...

To determine the nature of infinity, mathematicians face a choice between two new logical axioms. What they decide could help shape the future of mathematical truth. In the course of exploring their ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

On a recent train trip from Lyon to Paris, Vladimir Voevodsky sat next to Steve Awodey and tried to convince him to change the way he does mathematics. Voevodsky, 48, is a permanent faculty member at ...