Have automated theorem provers proved anything we didn't already know?(math.stackexchange.com)

http://math.stackexchange.com/questions/181003/has-any-previously-unknown-result-been-proved-by-an-automated-theorem-prover