News for hackers. Stuff that matters.
Re:Mathematicians Solve Long-Standing Coloring Problem by n4r9 on Saturday July 29, 2023 @04:22AM (#36918110)
Not in any straightforward way I can see. Some obvious differences:

- This result has effectively only two colours: "coloured" and "not coloured".

- This relates to an infinite continuous plane of points rather than a finite, discrete set.

- This has a notion of distance, whereas the four-colour theorem is more about connectivity.

That said, the idea of using a computer to aid a proof did also occur in the original proof of the four colour theorem.

There are no comments on this comment yet.