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.

# You're reading: Posts Tagged: Kepler conjecture

### The Flyspeck project is complete: we know how to stack balls!

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.