Incredibly cool result if true. I remember this having been an outstanding issue for quite some time. From the youtube animations and such it seems deceptively

Incredibly cool result if true. I remember this having been an outstanding issue for quite some time. From the youtube animations and such it seems deceptively simple to the point where I can't believe it wasn't found before. Interesting also that it uses a computer-assisted combinatorial proof as part of it. Something that goes way over my head.