My impression is that while the proof may have issues that are unfixable that the approach taken in the proof is one that's novel and could still have interesti

My impression is that while the proof may have issues that are unfixable that the approach taken in the proof is one that's novel and could still have interesting implications in the theory of computational complexity.