That is the literal definition of a world record here, my guy.

Take it up with the rules.

And yes, mathematically it's uninteresting. But that's not what is being showed off here.

> That is the literal definition of a world record here, my guy.

I don't dispute that. If you read my comment carefully, you'll find that I'm calling them "world records" too. My point is that nobody in the math community uses "world record" for finding trivial non-counterexamples like this. There are infinitely many such "world records" and each one is trivial to surpass in under a second.

Compare that to something like the finding a new Mersenne prime or calculating more digits of pi. Those records hold weight because they're difficult to achieve and stand for years.

This post could've been one of the infinite, uninteresting "world records" if the OP had applied more rigor in the implementation. But due to gaps in verification, this post is not a world record of any kind because the correctness of the results can't be confirmed. The OP has no way to confirm the correctness of their data. You'd get better context by reading the full thread. This has already been discussed at length.