@FMarquardtGroup this is the second time sphere packing has randomly appeared in my attention space in the last 24 hours (the other was Grant from 3B1B giving at talk at UC Santa Cruz on it, kinda https://www.youtube.com/watch?v=fsLh-NYhOoU )