Comment by saraid216

> wouldn't software also be able to create and analyze mathematical theory ("conjecture, proof, and building theories")?

Already happening.