Have automated theorem provers proved anything we didn't already know? Posted by shamp00 on Friday August 10, 2012 @10:18AM from the math.stackexchange.com dept. http://math.stackexchange.com/questions/181003/has-any-previously-unknown-result-been-proved-by-an-automated-theorem-prover ( no comments | 2 points | on HN )
There are no comments yet.