论说起来，具有一百多年历史的“黎曼猜想”，显然也不是好啃的硬骨头。
西历1497年4月10日，“强人工智慧二号机”接到外部指令，尝试解析一个已有命题，当然，以黎曼命名的该猜想，在系统的基本资料库里是已经存在的，指令要求是“尝试证明/证伪”，然后就是等待结果。
时间，一天天过去，不论阿达民、还是研究者，都没有耐心等待太久。
但任凭怎样运转，系统监测显示约60%的算力都被这一指令佔用，直到1497年5月10日，持续运转七百多小时的“混沌”仍未给出任何结论。
不仅如此，对“混沌”系统的当前状态，是否在这一过程中有所收穫、还是茫然不知所以，由于“强AI”的总体架构与传统计算机体系迥异，现在也没办法知道，唯一能确定的，是一个月的时间并不足以解决“黎曼猜想”。
第五一二章 超越
MN0K199的“证明”，摆在眼前，让莱斯利*兰伯特发了好一会儿的愣。
他完全没想到，不，应该压根就没想过，代号“混沌”的强人工智能二号机会一下子给出费马大定理的证明，不仅如此，这证明与人类持有的怀尔斯版本，完全不同，根本就不在一个频道上。
但这算是证明了费马大定理吗，还是，已知该猜想正确，随便编造一些理由，就可以自封为证明了该定理。
但，不同于人类的思维，“混沌”为什么要做这种事；
这完全不通。
思虑再三，盯着屏幕上的字迹看了又看，兰伯特试图从表述中找到一些显而易见的错误，却未能如愿，他叹口气，着手编辑报告文书，将这一出乎意料的结果，呈交给阿达民、以及NEP_791研发组的同僚们。
“兰伯特先生，对‘混沌’给出的这一份——证明，您怎么看？
譬如，这证明到底是不是正确的。”
接到报告后，不出所料，方然对所谓“费马大定理之证明”也感到十分意外，在这一领域，自问并没有很丰富的知识储备，他直接询问莱斯利*兰伯特。
而后者呢，这时仍有点一头雾水，他还在等待研发组专家们的反馈：
“我不好，虽然……用数学家的一种常用表述，这种证明更像是‘Not_even_rong’，就是根本谈不上对、还是错，本身就不是一种有效的论证方式，但因为其涉及到空间结构，我认为，还需要听一听物理学界的意见。”
“Not_even_rong，就是根本不算一份证明，哦。”
所见略同，一开始，方然对“混沌”给出的判据，也有类似的感觉，虽然自己并非数学专业出身，更谈不上高深的数学造诣。
但与此同时，他也必须得承认，这份证明似乎传递出一种十分异样的讯息，或者，在已知费马大定理成立的前提下，琢磨其声明，居然还好像有几分道理，虽然“定距模式”之类术语的真实含义，现在还不太确定。
那会不会是，FSCIM解析时出错，或者干脆就是“混沌”犯了错呢。
一念至此，方然直截帘的咨询莱斯利*兰伯特，负责饶回答则有些模棱两可：
“不排除这种可能，当然，一切还是要以给出的结论正误为准。
相比于‘FSCIM解析出错’，我个人更倾向于认为，‘混沌’系统的运行时错误会更有可能一些，毕竟这套体系的设计初衷，是自主思维，在算法里本来就包含一定的随机因素，否则，便和传统的计算机、人工智能系统无甚区别了。
但我也必须明，这一可能，其实也是很的；
设计框架内的‘运行错误’，并不能与最终结论的错误划等号，阿达民先生，您是否能理解这一点。”
“大概可以，您的意思是，‘运行时错误’只是一种思维发散的手段，最终的结论应该还是可以保证正确；
如果无法保证这一点，那么，这系统便是废物。”
无法保证结果正确的计算机系统，显然只是一堆废铁，没空在这上面消磨时间，方然接受了莱斯利*兰伯特的建议，一方面检查FSCIM解析系统，以防万一，一方面则等待研发组的专家们给出意见。
定理显然是成立，但，“混沌”的这种证明，究竟算不算数，几后的一次报告会上，阿达民借助“替身”出现在现场，聆听科学家们的发言。
几时间里，NEP_791研发组的科学家们，既然都知道这一份证明从何而来，彼此间已辩论过许多次，会场上，也不出所料的呈现出鲜明的意见分歧：数学领域的专家、学者意见几乎一致，认为这份证明“不值一晒”，没有什么价值。
理由很简单，大致一，方然也完全能听得懂：
“用物理概念证明数学命题，一般而言，总归存在漏洞，但也并非完全不可以这样做。
历史上，利用客观规律论证数学上的猜想，也有若干次实例。
但，具体到‘混沌’系统给出的证明，其引入的物理现象，无非是一种有限归纳、边界模糊的结论，即便在二维系统中，费马大定理的表示式经常成立，而在三维、或更高维的系统中没有成立的可能，将其简单粗暴的推广至无穷维，也是一种谬误。
毕竟对幂次有限的情形，无需证明，人类早已用计算机验证过许多数字，又何须牵强附会的引入物理概念来多此一举？
小贴士：如果觉得52书库不错，记得收藏网址 https://www.52shuku.vip/ 或推荐给朋友哦~拜托啦 (>.<)
传送门：排行榜单 | 好书推荐 |