A walkthrough of how to use a proof assistant for a very simple result.

Human mathematicians make errors. Proof assistants are here to help and while they're at it they turn maths into a highly collaborative experience.

The Anomalous Mathematical Patterns Sci-Art Contest was held as part of the Stochastic systems for anomalous diffusion research program at the Isaac Newton Institute.

Our new site has a cleaner look and some interesting new features.

The harmonic series look simple. But, perhaps breaking your intuition, grows without bound!

The surprising physics of stacking coins.

Researchers, policy makers and communicators have distilled out some key principles for making mathematical research more useful for policy makers.

Find out about a pioneering new project which builds mathematical models together with the people who are affected by them.

Want to expand your horizon? Then discover one of the hardest problems in algebraic topology which has only recently been solved: the Kervaire invariant problem.

We continue our journey towards a proof of the Kervaire invariant problem.

Find out how random shapes shed light on one of the hardest problems in physics.

We explore a famous problem which shaped 20th century topology.