解けない数式ということは、命題──いや、計算複雑性理論のようなものなのでしょうね。
世界で一人しかやり方を知らないリーマン予想に挑むようなものだと考えれば、否応なく胸が躍りますね！