notable proof

2 triples
GPTKB property

Random triples
Subject Object
gptkb:sphere_packing_problem 8 and 24 dimensions solved by Maryna Viazovska in 2016
gptkb:sphere_packing_problem Kepler conjecture proved by Thomas Hales in 1998