TheoryMine

Welcome to TheoryMIne!

TheoryMine为您创造了给全新数学定理定制个性化名字的机会。新奇的礼物，不是么？

"During my time as an eager undergraduate mathematician, I'd often wonder what it would feel like to prove a truly new result ... but Aron's theorem is now a reality, and I've got the certificate to prove it."
Jacob Aron , The New Scientist

"Pythagoras spent his life proving his, and Fermat died still trying, but for the would-be genius today, a mathematical theorem is only a mouse-click away."
Chris Watt , The Herald

您可以自主命名一个新的数学定理。比如用您的爱人，老师，朋友，自己，甚至宠物为它们命名。这些定理由目前所知世界上最先进的计算机定理证明程序生成，它基于人工智能，构思出新的数学定理。

查看证书样例

永恒的起航点: 输入您构思出来的名字

这个名字将永远和您的定理联系在一起。
名字可以是人名，昵称或者任何符合如下要求的称呼:

- 不得长于30个字。
- 不能是不适当的，中伤，诽谤，亵渎的，淫秽的，攻击公共道德的或种族仇恨或具有恐怖主义煽动性的

定理的名字会经过审查，如果被发现或者举报该名字是不恰当的，他们将被从系统中移除并不提供任何补偿。

比如，我爱我家定理，小李子定理

1 您构思名字！

2 我们探寻数学定理！

3 他们得到一个惊喜

Many Ideas for a special and personalized gift.

TheoryMine offers a range of different gift packages to satisfy evevryone!
You can name a theorem and have it printed on a t-shirt, mug, or mouse-mat!

Pythagora, Kepler, Einstein.. you can be the next!

TheoryMine offers personalized, newly discovered, mathematical theorems!
By naming your very own mathematical theorem, newly generated by one of the world's most advanced computerised theorem provers, you can immortalise your loved ones, teachers, friends and even yourself and your favourite pets.

Send Us Your Feedback!