Reply to post:

As an individual result it may not really help all that much, but I'd posit that at the very least:

a) an algorithm was developed to help search the solution space - perhaps a nice undergrad project, possibly even a masters element

b) existing theorem's/hypotheses are present that help filter out bits of the solution space as a waste of search time - having this result will help validate them or even extend them, even if it can't prove a general case

c) it may perhaps inspire others to come up with a general purpose proof that these things exist, much like Andrew Wiles' proof of Fermat's theorem - I suspect this is more in line with the end game.

An example of an instance where the equation holds true isn't proof that the equation is true for all values - the two problems are approached in a very different way, and both pose challenges in implementation, and (for some) are fun to play with.

Let the maths-bods have some fun, and that includes the ones donating CPU to the project.