TheoryMine | Name a Theorem: "TheoryMine lets you name and personalise, newly discovered, mathematical theorems as a novelty gift.
You can name your very own mathematical theorem, newly generated by one of the world's most advanced computerised theorem provers (a kind of robot mathematician), and you can immortalise your loved ones, teachers, friends and even yourself and your favourite pets."
