Content about “
four-colour theorem

Article
Black and White tree

Proof assistants

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

Article

Myths of maths: The four colour theorem

It's one of mathematics' most famous results: every "map" can be coloured using at most four colours. What it doesn't usually apply to, however, are real maps.
Article

Editorial

  • Plus 100 —the best maths of the last century
  • More maths grads