墨坛书屋 通过搜索各大小说站为您自动抓取各类小说的最快更新供您阅读!

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

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

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

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

这完全说不通。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

历史上,利用客观规律论证数学上的猜想,也有若干次实例。

但,具体到‘混沌’系统给出的证明,其引入的物理现象,无非是一种有限归纳、边界模糊的结论,即便在二维系统中,费马大定理的表示式经常成立,而在三维、或更高维的系统中没有成立的可能,将其简单粗暴的推广至无穷维,也是一种谬误。

毕竟对幂次有限的情形,无需证明,人类早已用计算机验证过许多数字,又何须牵强附会的引入物理概念来多此一举?

论据本身悬而未决,其支持的结论,自然无效,这终归还是一纸Not_even_wrong。”

仔细聆听专家的发言,替身机器里的方然有点犯难,他耸了耸肩。

他当然明白这些数学家的观点,不可能有错,但这些人未必会意识到,一旦认定该证明“无效”,甚至只是“无理取闹”,接下来,NEP_791研发组就必须面对一个棘手的难题:

如此荒谬的证明,看起来一切正常的“混沌”系统,又怎会提交上来呢。

早在“强AI”初号机运行时,通过一系列简单定理、定律的推导,“强人工智能”诞生的曙光,就来自于这些看似平平无奇的结论,既然强人工智能已有能力进行一些容易的数学工作,那么,判断一份证明是否有效,也应该在“混沌”的能力范围内。

换句话说,假如认为“混沌”的状态,是有效的,那么其提交的费马大定理之证明,也应该是正确的,这才是符合逻辑的判断。

但另一方面,无需仰仗数学家的力量,方然也能看出,这份证明有点太儿戏。

而在场的其他领域专家,观点又如何呢。

与数学家的一直否定不尽相同,物理、工程领域的专家们,有些也认为这是闹剧,付之一笑。

但也有些,意见相对谨慎,认为可以进一步研究,观察再做结论。

另外的几位研究者,则没有拘泥于这一份证明的正误,而若有所思的提出,这种结果的意义,某种程度上,或许可以视为一种相较于人类智力的“超越”。

墨坛书屋推荐阅读:超级学神誓不为妻:全球豪娶少夫人九零后天师快穿之虐渣攻略诸天降临之主全球冰封,我囤货亿万无限开盲盒关于我在崩坏三的离谱生活一个叫苏鲁的丧尸决定去死拥有荒古肾体的我,末世无敌了宇宙第二次巨变为晋升,我创造了可控核聚漫威里的德鲁伊通灵师异闻录我在灵异世界做科普直播天灾末世小人物囤货带美女跑路了异能觉醒后,我成了末日霸主末世生存,被我玩成了恋爱养成亡妻之战末世兵锋末日生存:我有哆啦A梦秘密道具魇日纪元谁说末世只能受苦受难末世不要跑末世突降:我是全球最壕美食商贩星河战队:崛起末世国家:面前是末世,背后是我卖主角的小主神冰河末世,坐拥百亿物资征战乐园惊!闪婚领证,新婚夜她却孕吐了全球冰封:我靠零元购发家致富战警传奇全球冰冻:开局觉醒空间瞬移快穿之每天都和BOSS谈恋爱我的合成天赋开局公布六代战机,鹰酱玉玉了!末日救赎:希望之光英雄联盟之极品天才我提取了自己书中的BOSS预知末世,洗劫最大军火库星球重启之新世界当无限降临纵横诸天从港综世界开始黎明之剑艾泽拉斯的泰坦之旅末世废土:这份菜单得加钱鬼王传人末日降临,我在废土中重获新生为啥我每次穿越都是反派他从末世来
墨坛书屋搜藏榜:快穿之反派女配不好惹魔方世界:末世困兽星际超越者末世废土:这份菜单得加钱诸天世界成神之路诸天从拯救岳夫人开始虫族领主:从继承顶级文明开始万剑之王尸命末世:想要变强?唯有囤积女神!谁说病娇不好啊,这病娇太棒了全球灾难:我有神级避难所佛系女主在末世的强者之路今天开始做神王穿越1862科技崛起从攻克癌症开始末世降临:我直接变身祖国人全民末日:只有我氪金十个亿当我重生的那几年星际,这个圈很大?快穿:重回巅峰宿主她专注种田红黄黑通灵师异闻录末世:无限军团系统开局末日开局获得地下基地快穿女神经:反派从不走剧情暴躁宿主她只想搞事业末世:开局契约雷狱魔龙重生成为竹子大佬我又落地成盒了我在丧尸末日签到打卡快穿炮灰:反派终极攻略柯学:小小的愿望清单机甲狂涛星际小法师超神:我是天使的外挂我在末世能修仙带着全家苟末世快穿女主奋斗指南末世之阿猫阿狗阿兔我又穿进末世文了从湖伯到玉皇大帝冰川时代:举国进入愚公移山计划一个喷嚏打出的萌妹两界穿梭:我在末世逆天改命甜心出击:殿下哪里逃从地球开始机械飞升星际狂人从废土开始开黑交易之这个宿主真大佬
墨坛书屋最新小说:天机谱之九霄玄歌快穿:回收金手指从种田开始在诡异世界扫垃圾暴富全民载具生存,我能无限合成物品科技霸主小雌性超香软,开局治愈五大恶兽机娘纪元:曙光铁骑三天一进化,我的吞噬天赋太BUG了我创造了异常控制局废土:杀戮成神万界融合:我能调控爆率宿主太野,主角配角全沦陷末世重生,我有三十六种异能末世女杀神末世:开局契约雷狱魔龙这个疯子来自地球全民求生:女神求着进我家干苦力末日降临:绝对爆率,击杀必掉物资星辰大海海岛求生:从强化垂钓开始末世求生:打丧尸能掉盲盒?重生末日,我靠系统卷疯了末日:人族崛起飞车求生:开局和前女友母亲一起极寒末日,开局亿万物资囤女神末日最强包租婆,我靠抽盲盒躺赢末世重生,我以暴杀丧尸开始氪命无敌满级囤货后,全末世美男求包养菜地通末世:我囤亿万物资养大佬救命!病娇反派总哭唧唧求我怜爱嘘,祸水宿主被疯批大佬掐腰诱哄听懂植物心声,我在废土开养生店四个兽夫争又抢,治愈雌性超稀有末日公路求生,我的宝箱无限刷新快穿:心机龙崽又双叒叕崩剧情穿越第四维之梦魇末世之我能召唤钢铁洪流全星际都知道元帅他在吃软饭全球生物变大万倍:我能操控万物满级恶雌超香软,五个兽夫掐腰宠穿越到末世:我左手烧烤右手火锅亿万僵尸来袭,开局无限子弹炮台快穿之十佳好闺蜜末世:拥有旁白系统的我不是变态铁血所至,万邦俯首人族战神专攻下三路我探查术有BUG,捡根木棍变屠龙宝剑高温进化:开局觉醒顶级空间异能灵笼:刀刀爆物资,升级送功法列车求生,我能升华万物