Math isn’t often thought of as a tool for social justice. But mathematical thinking can help us understand what’s going on in society too, says mathematician Eugenia Cheng. For example, abstract math ...

The math became abstract, filled with formulas that felt disconnected from logic. He wasn’t weak in math, but he couldn’t ...

In a milestone moment for artificial intelligence, general-purpose models from Google and OpenAI have won gold medals at the International Mathematical Olympiad (IMO), solving five out of six problems ...

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