フィールズ賞をとるほどの符号化を発見しないと無理。