@[email protected]MB to [email protected] • 1 year ago[WIRED] A Computer-Assisted Proof Solves the ‘Packing Coloring’ Problemwww.wired.commessage-square0fedilinkarrow-up19arrow-down10file-textcross-posted to: [email protected][email protected]
arrow-up19arrow-down1external-link[WIRED] A Computer-Assisted Proof Solves the ‘Packing Coloring’ Problemwww.wired.com@[email protected]MB to [email protected] • 1 year agomessage-square0fedilinkfile-textcross-posted to: [email protected][email protected]