蓝星海钻第175章可以计算真理的机器(1/2)

数学研究所，是一家专门负责证明数学猜想的公司。大会议人认为仅仅靠激发数学爱好的精神也不够了，开始自己着手去研究数学的各种问题，量化了解决数学问题的系统，开始自己设立数学猜想的生意。

不论什么人，只要对解决数学猜想有用就可以得到一笔奖金，就算只解决了一部分，只要能够确定也可以拿到一部分奖金。但是如果有人要使用有关猜想的问题，就需要支付这家公司产权费用。

为了保证原创者的劳动成果，就需要让使用者也支付原创者费用。这个公司需要发掘数学模型的用途，也帮助有困难的功能去看看需要哪个模型起作用的。还分为暂时无用的，当下有用，这些问题都要酌情支付奖金。如果发现实际问题尚未解决，就需要把问题提出来对外公布这个难题，并且说明解决了可以赚到多少钱甚至是赚到谁的钱。一个缤纷号的公司需要发射多级联动火箭来解决多级连动的力学稳定性问题，被祖文远看到了。

他是一个不太吃得开的博士毕业生，没有找到理想工作，数学学的很好，对很多难题都感兴趣，所以每次都在注意着公示。他必须要快速解决问题，否则自己的劳动成果容易被人抢先。因为曾经发生过区块链问题的解决大打出手的问题。还有很多密码学的问题很多人分了奖金。比较讽刺的是解决数学研究所奖金合理分配问题上很多数学专家因为觉得奖金分配不尽合理大打出手还闹出人命。黎曼猜想，歌德巴赫猜想能搞定基本就衣食无忧了，下半辈子的生活费完全足够。

祖文远早晨醒了以后，想看看火箭学原理的书，但是刚刚拿起来，脑子里却没看进去任何东西，还在想着上午的那一场不靠谱的约会。他想再看看费马大定理的证明过程。

头发乱蓬蓬的，不太舒服，但是至少看完一个章节之后再去洗头。咖啡配肉丸子，咖啡配方便面，茶叶配饼干，可乐配煎饼，随便对付一顿，就开始工作。

心里在想模空间跟椭圆方程联系在一起的过程，伽罗华大定理怎么跟方程的解扯上关系，电脑证明的四色定理如何其理解，哥德巴赫猜想能够在前人基础上得到证明，黎曼猜想中的点的分布是否可以直接计算质数的分布，祖文远猜想如何解决高维拓扑学，狭义相对论的多个破绽如何修复。

就这样乱七八糟的一上午快要过去了，一个朋友吴俊给他打电话过来催他：“你把这事儿给忘了吗？”

祖文远说：“我觉得就不去了，浪费时间。”

吴俊说：“你又没去，怎么知道浪费时间。我这是特意给你找了一个对你口味的人，你也老大不小了，怎么这么幼稚，自己的终身大事自己都不着急，如果你不去，我也交代不了，你一定要去。”

祖文远心里不想出去，但是没有办法，心里突然想到那些猜想是不是同一个问题。然后就开始想看看需不需要拿一本书，如果约会等人就可以看看。

想了很久之后，他拿了一本最小的书，是关于物理学的。磨磨蹭蹭的出门后，满脑子还在想着超越数的一些问题，超越数无理数的存在是将一个自然数无限扩大后去掉小数点倒着放过来的自然数而已，不自然在仅仅是因为不会最高位数的头不，不知道用这样的方式研究超越数是否有好处。

他从口袋里掏出一个自己泡好的速溶咖啡的瓶子，对他来说，打垮他的是疲惫与困倦，所以只能用咖啡来对抗。突然又想到了重新排列级数可以改变值的事情，会不会有很多种不同排法的都可以使级数的数值发生变化，而这一切又意味着什么，调和分析会走向那个方向？

他找到了自己没来过的餐厅约等着要过来的女孩，自己掏出那个物理学的书准备要看，但是看不进去，反而心里在想着这个女孩会长成什么样子。

他把书又放进自己的口袋，开始想着那个让他头疼的非线性系统。想了这个非线性系统需要自己再组建系统然后放入自己力学传感器来调整，让系统稳定下来的可能性，那种力学传感器自己也根据系统的紊乱程度来进行对应的变换，之后再观察看系统是否能够让自身的紊乱修正。

这时那个女孩来了，两个人各自点了自己的饮料寒暄了两句，因为话很少，所以都安静的坐在那里，显得有些尴尬。

女孩说：“你好，我叫吉妮。”

祖文远对女孩说：“我叫祖文远，你是做什么工作的？”

吉妮说：“我是做生物研究的。”

祖文远对生物学有兴趣的问：“你是做哪方面研究的？”

吉妮说：“关于基因突变和癌症之间的联系的。”

祖文远说：“每个癌症都跟基因突变有关系吗？”

吉妮说：“没错，这只是个猜想。”

祖文远说：“那有没有预防的方法。”

吉妮说：“预防？如果这个猜想是正确的话，那你能预防基因突变吗？”

祖文远说：“基因突变肯定预防不了，那起码可以用药物对癌症进行抑制吧。”

吉妮说：“抑制癌症这个不是我研究的方向，我研究的是癌症的生长。”

祖文远笑着的说：“你是在研究如何折磨死人？我想基因突变对人最大的影响应该是在受精卵生长初期。后期的基因突变，只是对人体的某一个区域才会产生影像是吧。”

吉妮说：“不同时期的基因突变对人造成的影响不同，越是在