第159章 荣誉博士(3000)(2/2)
严格的学术训练的数学专业人士，那他也不必如此担心。
因为数学方面的知识太多太广了。
仅数论一块，苏航就可以作出无数文章。
就拿上一次的孪生素数证明，其中他也可以再挑几个关键节点出来讲讲。
不过，苏航不愿意。
这对自己的要求未免太低了吧。
然而时间就那么点，要真准备什么也来不及。
苏航踩着梧桐落叶，清脆的枯叶碎裂声在宁静的道路上响起。
深秋，梧桐叶已经落尽，蔚蓝色的天空倒映在水面上，鉴心湖面微微泛起涟漪，云卷云舒。
苏航一个激灵。
上次系统奖励的那个“孪生素数证明”方法还没看呢。
他山之石，可以攻玉。
以系统为鉴，可以拓思路、开视野。
点开奖励界面。
忽视了那个基础科技突破，苏航打开了尘封已久的、最后一个每周奖励。
系统先是更新了一次方法，然后苏航就看到了系统的证明过程。
和苏航的纯数论方法不同，这一次，它还引入了图形辅助证明。
用高中的话讲，就叫数形结合。
不过，这需要庞大的算力支持。
果然，系统也是个计算机吗？证明过程这么粗暴的吗？
不对，不能这样想，毕竟不能选择我那种取巧的方式，靠蛮力反而很好使。
从描述上来看，原本的奖励就是自己的证明方法。
苏航蹲在湖水旁边细细思考。
理解了这个证明方式，自己的思路更加开阔了呢。
对于新技术的使用，物理始终走在所有科学的前排，而数学却不是那么积极。
甚至很多时候，数学家靠着一支笔就能打天下。
这在申请经费的时候尤其吃亏。
不过好在数学交叉融合的多，所以批经费的路子也多。
系统的方式就用上了强大的科技力量。
正常来讲，计算机除了穷举外，还可以自动验证一个提供的证明过程是否正确。
从这个角度来看，计算机其实可以通过组合现有已知的的公理和定理，来“搜索”出一个证明过程。
对于有限集合内的问题可以穷举，对于无限集合的则是这样搜索。
如果孪生素数可以用现有的已知公理和定理解决证明，那么计算机在遍历所有组合后就一定可以得到证明过程。
不过这样的话，计算量将会非常大。
而且显得很没有技术含量。
就像青岩写了一本书，你会说，嗯写的不错。
但是理论上讲，无数只猴子随机敲击键盘打字也有概率得到一篇文章，甚至比一个叫青岩的人写的还要好。
假如数量足够多，甚至还能爆更。
但是这样的效率会非常低。
根本不如青岩自己来写。
从某种角度上来讲，当人类的算力足够的时候，该不会连这个猜想都没有证明吧。
更何况，导入的公理、定理还不一定全面，也不一定完全正确。
如此下来，这个技术也多是用于一些已知约束较多，或者用以验证证明过程是否正确的工具。
否则就像是戴森球技术一样，能建的看不上，看上的建不起。
能证明的用不上，证明不了的也用不起。
不过系统给出的这个证明过程，引用了更多的限制条件和方向性约束，让这一个“搜索”过程更加的有效率。
苏航大概看完了，以目前公开的计算机水平，应该是没指望了。
不过…正是没指望才更好拿出来到会议上谈不是吗？
苏航重新理了理思路，缓缓站起身。
日渐西沉，暮光洒在湖面上，波光粼粼，好一番美景。
是时候回去了，晚上给爸妈打个电话，告诉他们这个好消息。
对了，还有胡菲菲，顺便也和她说一声吧。
因为数学方面的知识太多太广了。
仅数论一块，苏航就可以作出无数文章。
就拿上一次的孪生素数证明，其中他也可以再挑几个关键节点出来讲讲。
不过，苏航不愿意。
这对自己的要求未免太低了吧。
然而时间就那么点，要真准备什么也来不及。
苏航踩着梧桐落叶，清脆的枯叶碎裂声在宁静的道路上响起。
深秋，梧桐叶已经落尽，蔚蓝色的天空倒映在水面上，鉴心湖面微微泛起涟漪，云卷云舒。
苏航一个激灵。
上次系统奖励的那个“孪生素数证明”方法还没看呢。
他山之石，可以攻玉。
以系统为鉴，可以拓思路、开视野。
点开奖励界面。
忽视了那个基础科技突破，苏航打开了尘封已久的、最后一个每周奖励。
系统先是更新了一次方法，然后苏航就看到了系统的证明过程。
和苏航的纯数论方法不同，这一次，它还引入了图形辅助证明。
用高中的话讲，就叫数形结合。
不过，这需要庞大的算力支持。
果然，系统也是个计算机吗？证明过程这么粗暴的吗？
不对，不能这样想，毕竟不能选择我那种取巧的方式，靠蛮力反而很好使。
从描述上来看，原本的奖励就是自己的证明方法。
苏航蹲在湖水旁边细细思考。
理解了这个证明方式，自己的思路更加开阔了呢。
对于新技术的使用，物理始终走在所有科学的前排，而数学却不是那么积极。
甚至很多时候，数学家靠着一支笔就能打天下。
这在申请经费的时候尤其吃亏。
不过好在数学交叉融合的多，所以批经费的路子也多。
系统的方式就用上了强大的科技力量。
正常来讲，计算机除了穷举外，还可以自动验证一个提供的证明过程是否正确。
从这个角度来看，计算机其实可以通过组合现有已知的的公理和定理，来“搜索”出一个证明过程。
对于有限集合内的问题可以穷举，对于无限集合的则是这样搜索。
如果孪生素数可以用现有的已知公理和定理解决证明，那么计算机在遍历所有组合后就一定可以得到证明过程。
不过这样的话，计算量将会非常大。
而且显得很没有技术含量。
就像青岩写了一本书，你会说，嗯写的不错。
但是理论上讲，无数只猴子随机敲击键盘打字也有概率得到一篇文章，甚至比一个叫青岩的人写的还要好。
假如数量足够多，甚至还能爆更。
但是这样的效率会非常低。
根本不如青岩自己来写。
从某种角度上来讲，当人类的算力足够的时候，该不会连这个猜想都没有证明吧。
更何况，导入的公理、定理还不一定全面，也不一定完全正确。
如此下来，这个技术也多是用于一些已知约束较多，或者用以验证证明过程是否正确的工具。
否则就像是戴森球技术一样，能建的看不上，看上的建不起。
能证明的用不上，证明不了的也用不起。
不过系统给出的这个证明过程，引用了更多的限制条件和方向性约束，让这一个“搜索”过程更加的有效率。
苏航大概看完了，以目前公开的计算机水平，应该是没指望了。
不过…正是没指望才更好拿出来到会议上谈不是吗？
苏航重新理了理思路，缓缓站起身。
日渐西沉，暮光洒在湖面上，波光粼粼，好一番美景。
是时候回去了，晚上给爸妈打个电话，告诉他们这个好消息。
对了，还有胡菲菲，顺便也和她说一声吧。