@misc{indiciaec78a76b033ba,
  title = {Progress in Formalizing Sphere Packing in Dimension 8},
  author = {Sidharth Hariharan and Christopher Birkbeck and Seewoo Lee and Ho Kiu Gareth Ma and Bhavik Mehta and Auguste Poiroux and Maryna Viazovska},
  year = {2026},
  url = {https://arxiv.org/abs/2604.23468},
  note = {Source identifier: 2604.23468}
}