Formally Packing 8-Dimensional Spheres
(Joint talk with Maryna Viazovska) · ItaLean · Bologna, Italy · 11 December 2025
Links to website and recording
In this talk, we provided an introduction to the ongoing project to formalise Viazovska's solution to the sphere packing problem in dimension 8. We shared updates on our progress, outlined strategies to overcome remaining challenges, and discussed recent AI contributions to our project.