You prefer to make mathematical discoveries using automated theorem provers.

It occurs to me that these would make hilarious fortune cookies.