Anonymous at Sat, 9 Mar 2024 06:59:12 UTC No. 16064538

>>16064193
because we're fucking stupid

Anonymous at Sat, 9 Mar 2024 07:53:36 UTC No. 16064599

>>16064193
As far as I’m aware, we still don’t have a human-intuitive proof of the Four Color Theorem itself, just a massive proof-by-cases. That seems like a substantial obstacle to understanding harder coloring problems, although I’m not a graph theorist.

Cult of Passion at Sat, 9 Mar 2024 11:15:28 UTC No. 16064820

>>16064193
Mmm, thats a nice problem, I like the disimilar lengths on either side of the equation.

Multi-dimensional combinatorics is stonk.

Anonymous at Sat, 9 Mar 2024 23:03:38 UTC No. 16065627

>>16064820
What is this gif?

Anonymous at Sat, 9 Mar 2024 23:07:48 UTC No. 16065642

>>16064599
Pretty much this. CS fags love "muh computer aided" 4 color proof, but it's basically the main obstacle to proving more advanced theorems than the 4 color.

Basically, to go any futher we'll have to completely ignore the 4 color theorem proof done by brute force and reprove it using real mathematics.