The theorem might not be encoded correctly, as happened with the Riemann hypothesis thanks to how numbers are encoded.