TheoryMine was a company that ran from 2009 to 2019 that let you name a personalised, newly discovered, mathematical theorems as a novelty gift. After 10 years it has now stopped trading, and in time we hope to write a little more about the project.

TheoryMine is no longer trading. We wish you all many happy mathematical discoveries, and hope you enjoyed the robot-found theorems we discovered that you named.
The money that we raised with TheoryMine was used to found some research projects, and the remaining will be donated to a charity. Thank you to all that helped us!