If you're wondering why you're being down voted, it's because very few people believe mathematical discoveries and proofs are going to be automated any time soo

If you're wondering why you're being down voted, it's because very few people believe mathematical discoveries and proofs are going to be automated any time soon. FCT was exceptional in that the theorists were able to reduce the theoretical proof to a brute force check that no human wanted to do. To be honest, making these claims, especially with such certainty, comes off as rather crank-y.