Comment by moralestapia

>Our computation produced a tour together with a proof that it is a shortest-possible route [...]

>These claims are provisional. Until someone produces a better tour or a valid counter-proof, this stands as the best-known solution.

Are we looking at the same website? Because those two are quite different things.