notable proof

URI: https://gptkb.org/prop/notable_proof
2 triples
GPTKB property
Random triples
Subject Object
gptkb:sphere_packing_problem Kepler conjecture proved by Thomas Hales in 1998
gptkb:sphere_packing_problem 8 and 24 dimensions solved by Maryna Viazovska in 2016