3 ms·Have automated theorem provers proved anything we didn't already know?2 points by shamp00 14y ago