irradiatedMB to TechNews · 2 years ago[WIRED] A Computer-Assisted Proof Solves the ‘Packing Coloring’ Problemwww.wired.comexternal-linkmessage-square0fedilinkarrow-up19arrow-down10file-text
arrow-up19arrow-down1external-link[WIRED] A Computer-Assisted Proof Solves the ‘Packing Coloring’ Problemwww.wired.comirradiatedMB to TechNews · 2 years agomessage-square0fedilinkfile-text