"Dense Sphere Packings, A Blueprint for Formal Proofs" - читать интересную книгу автора (Thomas Hales, 2012)