新闻来源:Solidot
在你上数学课程时，肯定会对数学定理前的名字敬仰和羡慕不已。暗地里，你可能还梦想有一天自己的名字也能和柯西、牛顿、费马、毕达哥拉斯、莱布尼兹并列，永远被后人念叨。现在你有机会了，不需要成为数学家，只需花15美元
就能冠名数学定理。 一家名叫
TheoryMine的公司以15美元的价格出售个性化数学定理。
TheoryMine是一个自动定理证明软件，该公司总经理Flaminia Cavallo说，客户可以用自己或亲朋好友或任何人的名字命名软件证明的新定理。
定理机器证明是用程序进行数学定理的证明，它能推论出一个定理是正确的，还是不可证明的，或者错误的。而学术界的传统是，发现新定理的人拥有命名权。