È con grande piacere che i manutentori del Progetto Sphere Packing annunciano un importante traguardo nello sforzo di formalizzazione: ora abbiamo una prova Lean senza scuse del teorema secondo cui il miglior imballaggio sferico in ℝ⁸ è l'imballaggio della rete E₈. (1/9)