Packing problem

checkers

computer assisted proof

game of skill

kepler's conjecture