With news that a recent proof of the Boolean Pythagorean Triples Theorem is the ‘largest proof ever’, we collect and run-down some of the biggest, baddest, proofiest chunks of monster maths.

### Just how big is a big proof?

[Continue reading…]

With news that a recent proof of the Boolean Pythagorean Triples Theorem is the ‘largest proof ever’, we collect and run-down some of the biggest, baddest, proofiest chunks of monster maths.

[Continue reading…]

A team led by Thomas Hales has announced a formal proof of the Kepler conjecture – one of the oldest problems in geometry – which states that no packing of equally sized spheres in 3-dimensional space is more efficient than the face-centred cubic packing (pictured right), or hexagonal close packing.

[Continue reading…]