It's a good tradition in math that you as the author have to convince others that your theorem is correct. If you cannot convince other fellow colleagues then y

It's a good tradition in math that you as the author have to convince others that your theorem is correct. If you cannot convince other fellow colleagues then you can't claim you have a proof. That's why a lot of mathematicians are sceptical against computationally constructed proofs such as state space exploration. Or, at least, they don't like the taste of it :)