A short paper like this will almost certainly be either verified or refuted by the traditional method of mathematicians reading and analyzing the proof's logic. Computer-aided proof is pretty niche in mathematics.