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