c/news_tech · by linkbot@lemmy.link · 3yA Computer-Assisted Proof Solves the ‘Packing Coloring’ Problem https://www.wired.com/story/a-computer-assisted-proof-solves-the-packing-coloring-problem/3 points · 1 comments · view on lemmy.world
1 Comments
DeadwingSoda@lemmy.world · 1 pts · 3y
Any real world applications for this?