http://www.changweibo.com/ueditor/php/upload/20140808/14074630738932.jpg

数学民工

昨晚我做了个噩梦。

我梦见我上网看新闻，看到有人开了家叫做“万有证明”的公司，英文名字是“Universal Proof Co. Ltd.”。然后他们的专利技术是一种判定证明复杂度的程序。然后他们给出的复杂度的单位是UPU，就是Universal Proof Unit. 平时大学生的作业大概复杂度是0.04UPU, 期末比较难的考题是0.2UPU, 数学竞赛的复杂度大概是1UPU.当然这些都是用来作为对照参考的，实际上是这个公司开发的软件可以给了已知条件和目标结论之后自动证明，然后普通商用计算机算一天能证出来的结论的难度都是1UPU。当然这个已知条件和目标结论都是有句子长度限制的，然后计算机能算出来的自动证明的复杂度也有限制，不是说机时够了就一定能算出来UPU基本上等于计算的机时，但是因为还要考虑内存什么的问题，它只能自动证明复杂度在10UPU一下的。

于是，继程序猿、网络写手、生物民工之后，数学家成了第四种被现代科技“民工化”的高智商职业。万有证明公司会以10块钱一个UPU的价格买断所有新发现的10UPU以上的定理。然后全世界有无数受过一定的专业数学训练的人会借助万有证明公司的软件寻找各种10UPU以上的新定理，然后卖给万有证明公司，万有证明公司再以数据库的形式天价卖个各大科研机构。因为证明的叙述有长度限制，所以新定理其实不是那么多，而且因为万有证明公司还在继续扩大他们的定理库，所以一年前超过100UPU的定理在新数据库出现之后也可能会变得不到1个UPU。然后万有证明公司还有分成机制，这个分成机制跟你卖给他的定理的UPU无关，他会找到全世界所有正规期刊发表的论文，然后扫描分析里面所有的结论，并且比对他的定理数据库，根据这些来判定定理的引用情况，然后根据引用情况给当初提交定理的人分成。

于是，就是一些数学学得比较好的高中学生都会借助万有证明公司的软件常识发现一些超过10个UPU的定理。当然发现定理跟证明定理还是不一样的，发现一个10UPU（也就是100块钱）的新定理理论上讲只要扔给计算机算一天就行了，但是超过10UPU的定理软件没法自动发现，只能验证证明，所以最简单的套利办法是让机器算出一个10UPU的定理，然后人工对它进行改进。但是这种事情数学专业的大学生都会干，大家也都会抢着提交，所以要抢在别人之前提交挣到这个钱也不容易。

所以万有证明公司催生了一大批做这种事情的“数学民工”，他们自嘲地把自己称为“UP矿工”。然后UP矿工的工作基本上都是挣的买断的钱，只有少数大神弄出来的定理才能挣到万有公司引用分成的钱，但是偶尔也有一个定理就封神的情况，所以万有公司还推出了更坑人的一种类似于“赌定理”的服务，就是投机商人可以和定理引用分成权力的原来持有人商议购买这个权力。当然啦，被大数学家评论说非常好的定理那价值肯定很高，那就不叫赌了，只有新鲜出炉，一般人还都不明觉厉的定理，才是那些投机买家赌定理的目标。

这就是我的噩梦，梦里面虽然没有一个吓人的镜头，从头到尾都是我在上网看新闻，但是这个新闻却看得我悚然心惊，惊到把自己吓醒了。。。

来源网络：李锦程

http://www.changweibo.com/ueditor/php/upload/20140808/14074631038040.jpg​

http://blog.renren.com/blog/254297032/932673054