解かれたという論文があるようです。詳しく見てませんし、詳しく見ようと思っても大変だと思うので見ませんが、本当に解けてるとしたら大きなニュースですね。

フリーの数式処理システムMaxima。使うことを検討中。 何に使うのかは分からないけど。