The definitive account of the recent computer solution of the oldest problem in discrete geometry.