Can Machines Pack Spheres?
(Virtual talk) · Aarhus Math & AI Workshop · Aarhus Institute of Advanced Studies, Aarhus, Denmark · 28 January 2026
Link to website
In this talk, I gave an update on the sphere packing formalisation and shared my experience attempting to "vibe-prove" that sphere packings in Euclidean spaces can be approximated arbitrarily well by lattice packings.