# Markets in Everything: Name a Theorem

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.

I would be afraid that I would not understand my own theorem (see here for an example).

I will stick with Tabarrok's Wager (original paper here).

Hat tip: Boing Boing.