[cyphar]

Like a lot of these "cute" problems, finding a proof of the problem requires a new theorem or novel application of a technique which benefits mathematics overall.

As a prime example, Fermat's Last Theorem was not a particularly applicable mathematical theorem. But when Andrew Wiles found a proof, he ended up proving several other elliptic curve conjectures which were important to the field.