8 ms·

You prefer to make mathematical discoveries using automated theorem provers. It occurs to me that these would make hilarious fortune cookies.