暴风中文 通过搜索各大小说站为您自动抓取各类小说的最快更新供您阅读!

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

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

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

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

这完全说不通。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

暴风中文推荐阅读:我在星际开饭店快穿:恶女勾勾手,男主昏了头原来我是一个天道反派团重生了全球进化,我觉醒了一座世界我托雷基亚,这辈子想做个好人星际上山赶海美食不断从零级开始穿梭诸天末世多子多福:我打造最强安全屋!末世:坑蒙拐骗杂货铺游戏灾难:从获得神级金卡开始末世细胞学星系霸主之仙云星系战记末世重生,囤货百亿顺带谈个恋爱黄金耳八云家的大少爷末世杀戮:无限空间之异能王者不务专业的歌手带着异形去修仙美漫事务所:开局宠物汤姆和杰瑞战域时代:开局觉醒神级天赋我在天灾,打造生命星球回到末世前:我无敌了末世穿书:主角种田我填坑!末世重生:我的酒店物资无穷尽希望犹在之第一部风卷龙旗高武:邪君降临落叶战记末世反派系统,成为阿姨们的噩梦我在末日文字游戏里救世都市之最强DNF系统进击吧,末日铁甲师兄,你别跑辅法王座快穿黑心莲:恶毒女配撩疯了身软小人鱼捡垃圾,全星际心疼哭帝国的朝阳星际从分解万物开始Clone心影星际之大熊猫的崛起嬉笑者女主今天有点撩外星侵袭:地球反击快穿之炮灰凶残元计划末世:诸天女武神为我而战被毁灭之前,我决定暴兵挣扎一下我代表地球联姻异界公主宇宙相亲网之弃妇快穿之我成了系统
暴风中文搜藏榜:穿成星际唯一人类,各路大佬疯抢新元纪快穿系统:男主又重生了龙珠之道问诸天生存游戏:从一只乌鸦开始全球领主:开局成为沙漠领主末日丧尸之我还是主角?零元购,我把渣爹老窝一锅端快穿撩情:嚣张boss,我宠的外来异星群星:我没输过,你说我是战犯?洪水末日:我打造了海上城市末世降临:我招收下属,获得百倍物资末世公寓截胡S级房车,我在逃亡中收美女分身分身闭上嘴,让我来说你是谁万界信用卡拐只狐狸带回家快穿:炮灰女配,颤抖吧紫瞳医圣末世大回炉最强寰宇主神此刻,全球极夜诸天BOSS群轴承曝光我成首席科学家阴阳食谱末世之重生之囤货npc太软,玩家大佬纷纷沦陷绝密试验档案穿越之虫族主宰在异界末日模拟器,我以剑道证超凡揣了反派龙君的崽后我跑路了异闻录我用铠甲闯末世重生末日前三天星穹铁道:神级附魔师,重铸造物引擎诸天次元交易所恐怖机场末世重生之凤归来奇妙的异世界旅行穿越到一九八零全球断电:重返冷兵器时代星际之大演绎家末世:别人囤物资,我直接建城日月星辰伴我眠,虫生异星当帝皇沐蓝星球3:星空学院维度进化战争余生伴星眠宝藏猎人江宪快穿之炮灰逆袭人生
暴风中文最新小说:海洋求生:我靠无限抽卡带飞祖国末世列车,我靠预言读档成为榜一梦里穿越十二宫植物成珍稀?而她一天能种一千亩渣女摆烂后,五个前男友扯头花星际:被迫继承疗养院的餐厅星际娇软雌性,被六S大佬强绑定我在末世被营销成神无限副本:告白后我被邪神盯上了快穿:绿茶大佬今天又被钓了渣雌死遁五年回归,黑化父子爱惨病弱美人在诡异世界封神克系末日摆摊,邪神被我喂成萌宠穿成残次品?全星际大佬嗜我成瘾天才俱乐部雄多雌少,我靠木系异能风生水起星际写小说,雄兽们跪求我更新末日求生:我靠农场系统堆满粮仓兵家镇万界末世种田求生:捡个崽崽开农场我在末日盖房子快穿:硬核宿主玩转三千世界穿成稀有向导,误入哨兵修罗场末世海上求生,在灯塔建造度假村生育值0?兽世大佬们全是我榜一荒野求生:毛茸茸同居手册乙游对象非人类,各个为我修罗场恶雌娇又欲,五个兽夫缠欢上瘾抽卡逆袭后,五个未婚夫悔哭了恶女快穿:一不小心就成了万人迷在诡异整容app里封神幻想与现实召唤师爆改好孕系统种田,我成科研大佬丧尸策划者末世求生:小丧尸被毛茸茸团宠!无限天灾:我靠疯狂囤货登顶成神全球末世:娇软白莲丧尸王杀疯了末世重生:大佬她不断掉马甲!星际真千金养崽日常废城之上:拾荒者绿茶雌性超软,禁欲兽夫摁着求亲恶雌公主从良后,雄兽们争红了眼恶雌洗白太会撩,兽夫日日修罗场天灾末世:我靠囤物资带暴君躺赢末世来临,我靠文物打卡系统成神提前觉醒异能,她在末世种田躺赢五个兽崽会读心,渣雌被兽夫拿捏恶雌浑身都诱,五个指挥官全要她天崩开局,我靠捡兽夫逆天改命诸天从维京开始