奇热小说网 www.qirexs.com,永不下车无错无删减全文免费阅读!
道理很简单,人类根本没有这么多顶尖人才,仅有的人才,也断然无法将所有时间精力耗费在理论研究、猜想证明上。
浩如烟海的数学领域中,会埋伏着多少无人问津的猜想、结论、命题。
所有这些命题,其中,必定有一些难度极高,甚至远远超越人类现有知识的存在,但因为无人关注,甚至无人发现,对其实际难度,人类根本就一无所知。
不仅如此,从另外一个角度,哪怕对于那些流行于世、知名度极高的数学猜想,要在这些猜想被数学家证明/证伪之前,判断其难度,事实上也相当于一种“未卜先知”,根本是不切实际的幻想。
很多数学猜想,譬如“哥德巴赫猜想”就属于这一类,迄今为止,数学家们掌握的手段,都只能迫近、而无法将其解决。
这意味着,要么“哥德巴赫猜想”无法被证明/证伪,要么就需要一些崭新的数学研究成果、理论,不论哪一种,今天的数学家们都无从判断,更谈不上给出一个具体的时间/工作量预测,最后,只能认定其难度的下限,而无法判断其上限。
除此之外,另有一些猜想,譬如已经被安德鲁*怀尔斯证明的“费马大定理”,在最终被证明前的若干年,就有一定的迹象显示其“很有可能被解决”。
即便如此,作为投入进攻的数学家,安德鲁*怀尔斯本人在一开始也必定没有十成把握。
事实上,但凡在开始工作之前,有足以判断该猜想之难度的所谓“十成把握”,当事者立即就可以宣称自己已解决了该猜想,接下来,只要潜心完善证明过程即可,这是数学界时常出现、公认有效的做法。
总结起来,对一个尚未解决的数学猜想,不论是否有思路,都无法准确判断其难度,这才是实际情况。
既然是用来验证“混沌”系统的能力,难度未知的猜想,就不是一种合适的题材。
尽管如此,阿达民提出的设想,兰伯特还是不想直接拒绝,想一想反正也没关系,就应承下来,比较随意的选择“黎曼猜想”送入二号机。
论说起来,具有一百多年历史的“黎曼猜想”,显然也不是好啃的硬骨头。
西历1497年4月10日,“强人工智能二号机”接到外部指令,尝试解析一个已有命题,当然,以黎曼命名的该猜想,在系统的基本数据库里是已经存在的,指令要求是“尝试证明/证伪”,然后就是等待结果。
时间,一天天过去,不论阿达民、还是研究者,都没有耐心等待太久。
但任凭怎样运转,系统监测显示约60%的算力都被这一指令占用,直到1497年5月10日,持续运转七百多小时的“混沌”仍未给出任何结论。
不仅如此,对“混沌”系统的当前状态,是否在这一过程中有所收获、还是茫然不知所以,由于“强ai”的总体架构与传统计算机体系迥异,现在也没办法知道,唯一能确定的,是一个月的时间并不足以解决“黎曼猜想”……
道理很简单,人类根本没有这么多顶尖人才,仅有的人才,也断然无法将所有时间精力耗费在理论研究、猜想证明上。
浩如烟海的数学领域中,会埋伏着多少无人问津的猜想、结论、命题。
所有这些命题,其中,必定有一些难度极高,甚至远远超越人类现有知识的存在,但因为无人关注,甚至无人发现,对其实际难度,人类根本就一无所知。
不仅如此,从另外一个角度,哪怕对于那些流行于世、知名度极高的数学猜想,要在这些猜想被数学家证明/证伪之前,判断其难度,事实上也相当于一种“未卜先知”,根本是不切实际的幻想。
很多数学猜想,譬如“哥德巴赫猜想”就属于这一类,迄今为止,数学家们掌握的手段,都只能迫近、而无法将其解决。
这意味着,要么“哥德巴赫猜想”无法被证明/证伪,要么就需要一些崭新的数学研究成果、理论,不论哪一种,今天的数学家们都无从判断,更谈不上给出一个具体的时间/工作量预测,最后,只能认定其难度的下限,而无法判断其上限。
除此之外,另有一些猜想,譬如已经被安德鲁*怀尔斯证明的“费马大定理”,在最终被证明前的若干年,就有一定的迹象显示其“很有可能被解决”。
即便如此,作为投入进攻的数学家,安德鲁*怀尔斯本人在一开始也必定没有十成把握。
事实上,但凡在开始工作之前,有足以判断该猜想之难度的所谓“十成把握”,当事者立即就可以宣称自己已解决了该猜想,接下来,只要潜心完善证明过程即可,这是数学界时常出现、公认有效的做法。
总结起来,对一个尚未解决的数学猜想,不论是否有思路,都无法准确判断其难度,这才是实际情况。
既然是用来验证“混沌”系统的能力,难度未知的猜想,就不是一种合适的题材。
尽管如此,阿达民提出的设想,兰伯特还是不想直接拒绝,想一想反正也没关系,就应承下来,比较随意的选择“黎曼猜想”送入二号机。
论说起来,具有一百多年历史的“黎曼猜想”,显然也不是好啃的硬骨头。
西历1497年4月10日,“强人工智能二号机”接到外部指令,尝试解析一个已有命题,当然,以黎曼命名的该猜想,在系统的基本数据库里是已经存在的,指令要求是“尝试证明/证伪”,然后就是等待结果。
时间,一天天过去,不论阿达民、还是研究者,都没有耐心等待太久。
但任凭怎样运转,系统监测显示约60%的算力都被这一指令占用,直到1497年5月10日,持续运转七百多小时的“混沌”仍未给出任何结论。
不仅如此,对“混沌”系统的当前状态,是否在这一过程中有所收获、还是茫然不知所以,由于“强ai”的总体架构与传统计算机体系迥异,现在也没办法知道,唯一能确定的,是一个月的时间并不足以解决“黎曼猜想”……