Have automated theorem provers proved anything we didn't already know?http://math.stackexchange.com/questions/181003/has-any-previously-unknown-result-been-proved-by-an-automated-theorem-prover by shamp00 • 14 years ago 2 0 14 years agoMAmath.stackexchange.com