永不下车 第五三五章 超越

更新:09-13 07:02 作者:阳电 分类:科幻小说

    mn017392k199的“证明”,摆在眼前,让莱斯利兰伯特发了好一会儿的愣。

    他完全没想到,不,应该说压根就没想过,代号“混沌”的强人工智能二号机会一下子给出费马大定理的证明,不仅如此,这证明与人类持有的怀尔斯版本,完全不同,根本就不在一个频道上。

    但这算是证明了费马大定理吗,还是说,已知该猜想正确,随便编造一些理由,就可以自封为证明了该定理。

    但,不同于人类的思维,“混沌”为什么要做这种事;

    这完全说不通。

    思虑再三,盯着屏幕上的字迹看了又看,兰伯特试图从表述中找到一些显而易见的错误,却未能如愿,他叹口气,着手编辑报告文书,将这一出乎意料的结果,呈交给阿达民、以及nep_791研发组的同僚们。

    “兰伯特先生,对‘混沌’给出的这一份——证明,您怎么看?

    譬如,这证明到底是不是正确的。”

    接到报告后,不出所料,方然对所谓“费马大定理之证明”也感到十分意外,在这一领域,自问并没有很丰富的知识储备,他直接询问莱斯利兰伯特。

    而后者呢,这时仍有点一头雾水,他还在等待研发组专家们的反馈:

    “我说不好,虽然……用数学家的一种常用表述,这种证明更像是‘not_even_wrong’,就是说根本谈不上对、还是错,本身就不是一种有效的论证方式,但因为其涉及到空间结构,我认为,还需要听一听物理学界的意见。”

    “not_even_wrong,就是根本不算一份证明,哦。”

    所见略同,一开始,方然对“混沌”给出的判据,也有类似的感觉,虽然自己并非数学专业出身,更谈不上高深的数学造诣。


    但与此同时,他也必须得承认,这份证明似乎传递出一种十分异样的讯息,或者说,在已知费马大定理成立的前提下,琢磨其声明,居然还好像有几分道理,虽然“定距模式”之类术语的真实含义,现在还不太确定。

    那会不会是,fscim解析时出错,或者干脆就是“混沌”犯了错呢。

    一念至此,方然直截了当的咨询莱斯利兰伯特,负责人的回答则有些模棱两可:

    “不排除这种可能,当然,一切还是要以给出的结论正误为准。

    相比于‘fscim解析出错’,我个人更倾向于认为,‘混沌’系统的运行时错误会更有可能一些,毕竟这套体系的设计初衷,是自主思维,在算法里本来就包含一定的随机因素,否则,便和传统的计算机、人工智能系统无甚区别了。

    但我也必须说明,这一可能,其实也是很小的;

    设计框架内的‘运行错误’,并不能与最终结论的错误划等号,阿达民先生,您是否能理解这一点。”

    “大概可以,您的意思是,‘运行时错误’只是一种思维发散的手段,最终的结论应该还是可以保证正确;

    如果无法保证这一点,那么,这系统便是废物。”

    无法保证结果正确的计算机系统,显然只是一堆废铁,没空在这上面消磨时间,方然接受了莱斯利兰伯特的建议,一方面检查fscim解析系统,以防万一,一方面则等待研发组的专家们给出意见。

    定理显然是成立,但,“混沌”的这种证明,究竟算不算数,几天后的一次报告会上,阿达民借助“替身”出现在现场,聆听科学家们的发言。

    几天时间里,nep_791研发组的科学家们,既然都知道这一份证明从何而来,彼此间已辩论过许多次,会场上,也不出所料的呈现出鲜明的意见分歧:数学领域的专家、学者意见几乎一致,认为这份证明“不值一晒”,没有什么价值。

    理由很简单,大致一说,方然也完全能听得懂:

    “用物理概念证明数学命题,一般而言,总归存在漏洞,但也并非完全不可以这样做。

    历史上,利用客观规律论证数学上的猜想,



第五三五章 超越  
相关:  龙战长空    正义的使命  地煞七十二变  魔本为尊  极限伏天  新白蛇问仙  
下面更火
搜"永不下车"
360搜"永不下车"
语言选择