Here’s an odd web site. TheoryMine is a site that sells original mathematical theorems. You pay them money, and TheoryMine uses an automated theorem prover to find a theorem and its proof. The paper The Theory Behind TheoryMind explains more about the how it works.

New Scientist has an article with some interviews. The article’s author also bought this theorem.