irradiated@radiation.partyMB to TechNews@radiation.party · 1 year ago[WIRED] A Computer-Assisted Proof Solves the ‘Packing Coloring’ Problemwww.wired.comexternal-linkmessage-square0fedilinkarrow-up19arrow-down10file-textcross-posted to: news_tech@lemmy.link
arrow-up19arrow-down1external-link[WIRED] A Computer-Assisted Proof Solves the ‘Packing Coloring’ Problemwww.wired.comirradiated@radiation.partyMB to TechNews@radiation.party · 1 year agomessage-square0fedilinkfile-textcross-posted to: news_tech@lemmy.link