I would like it to be true, but apart from computing known values of Ramsey numbers, they should have computed unknown values of Ramsey numbers, to make their research more valuable.
As the bounds of small Ramsey numbers are known, it would provide more evidence of correctness of their computation.
As the bounds of small Ramsey numbers are known, it would provide more evidence of correctness of their computation.