TY  - RPRT
TI  - Progress in Formalizing Sphere Packing in Dimension 8
AU  - Sidharth Hariharan
AU  - Christopher Birkbeck
AU  - Seewoo Lee
AU  - Ho Kiu Gareth Ma
AU  - Bhavik Mehta
AU  - Auguste Poiroux
AU  - Maryna Viazovska
PY  - 2026
UR  - https://arxiv.org/abs/2604.23468
ID  - 2604.23468
ER  -