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

“费马……大定理?”

阿达民的话,让莱斯利*兰伯特很意外,他愣了一会儿才想起自己是为何而疑惑。

这位阿达民先生,他不知道“费马大定理”已经被证明了吗,但即便如此,自己要不要直言相告,冒这样的风险去揭短呢。

这边还在犹豫,线路另一头,ASA的提醒已做了这样一件事。

“哦,是这样,‘费马大定理’已经被人类证明过了。

那么换一个待解决的猜想,怎么样,兰伯特先生,我们咨询一下数学家们,或者从数据库里找几个难度较高的猜想,让‘二号机’尝试证明一下,这是否能验证,‘混沌’系统的能力究竟如何。”

“理论上讲,这样做是有一定的价值。”

所谓当局者迷,身在“强人工智能”研发组,从一开始就瞄准自主思维的设计目标,长期以来莱斯利*兰伯特所想的,几乎都是如何让AI具备自主思维,创造性、探索性研究的能力,而几乎没考虑过别的。

不过,接触这一设想后,凭借自己对“混沌”系统的观察,兰伯特还是不自觉的在屏幕前摇一摇头,他并不认为现在的“混沌”能解决多么高深的数学问题。

从数论中的一个普通结论,到长久未解决的猜想,难度究竟差多少。

这问题,别说普通民众,即便在数学领域摸爬滚打多年的研究者,也不一定能给出准确的回答,甚至往往要等到猜想被解决后,才能有一个相对准确、公允的评价,然而此时猜想已经被解决,这种回答的价值,自然也近乎于零。

身为一名数学领域的涉猎者,在这方面,莱斯利*兰伯特凑巧有详细的观察与思考。

权衡利弊后,他直接向阿达民指出,所谓“选择高难度的猜想”,这一设定本身就包含极大的不确定性:数学猜想的“难度”,并无绝对标准,而几乎完全由研究者的数量、水平,和猜想屹立的时间长短来决定。

譬如着名的“费马大定理”,从西历1092年提出,到西历1450年解决,包括欧拉、柯西、高斯、勒贝格等着名数学家都牵扯其中。

这么多顶尖头脑的努力,前后也经历了三百多年时间,才最终将其证明。

这样的现实,在费马大定理被证明之前,的确可以作为很有利的论据,证明这一定理(其实应该用“猜想”)的难度之高。

但是这一原则,很显然,并无法应用到所有的数学结论、猜想之上。

现代数学,已经发展到怎样的程度,兰伯特略知一二,他很清楚数学这一棵参天大树,现如今是怎样的枝繁叶茂。

具体到每一个分支,又有近乎无数的研究成果与未解之谜,即便动员旧时代的所有数学家,殚精竭虑,也绝无可能针对每一个猜想、结论都展开详尽而长久的研究,因而也不可能凭借“研究者数量、水平、时长”的大原则,判断问题的难度。

道理很简单,人类根本没有这么多顶尖人才,仅有的人才,也断然无法将所有时间精力耗费在理论研究、猜想证明上。

浩如烟海的数学领域中,会埋伏着多少无人问津的猜想、结论、命题。

所有这些命题,其中,必定有一些难度极高,甚至远远超越人类现有知识的存在,但因为无人关注,甚至无人发现,对其实际难度,人类根本就一无所知。

不仅如此,从另外一个角度,哪怕对于那些流行于世、知名度极高的数学猜想,要在这些猜想被数学家证明证伪之前,判断其难度,事实上也相当于一种“未卜先知”,根本是不切实际的幻想。

很多数学猜想,譬如“哥德巴赫猜想”就属于这一类,迄今为止,数学家们掌握的手段,都只能迫近、而无法将其解决。

这意味着,要么“哥德巴赫猜想”无法被证明证伪,要么就需要一些崭新的数学研究成果、理论,不论哪一种,今天的数学家们都无从判断,更谈不上给出一个具体的时间工作量预测,最后,只能认定其难度的下限,而无法判断其上限。

除此之外,另有一些猜想,譬如已经被安德鲁*怀尔斯证明的“费马大定理”,在最终被证明前的若干年,就有一定的迹象显示其“很有可能被解决”。

即便如此,作为投入进攻的数学家,安德鲁*怀尔斯本人在一开始也必定没有十成把握。

事实上,但凡在开始工作之前,有足以判断该猜想之难度的所谓“十成把握”,当事者立即就可以宣称自己已解决了该猜想,接下来,只要潜心完善证明过程即可,这是数学界时常出现、公认有效的做法。

总结起来,对一个尚未解决的数学猜想,不论是否有思路,都无法准确判断其难度,这才是实际情况。

既然是用来验证“混沌”系统的能力,难度未知的猜想,就不是一种合适的题材。

尽管如此,阿达民提出的设想,兰伯特还是不想直接拒绝,想一想反正也没关系,就应承下来,比较随意的选择“黎曼猜想”送入二号机。

论说起来,具有一百多年历史的“黎曼猜想”,显然不是块好啃的骨头。

西历1497年4月10日,“强人工智能二号机”接到外部指令,尝试解析一个已有命题,当然,以黎曼命名的该猜想,在系统的基本数据库里是已经存在的,指令要求是“尝试证明证伪”,然后就是等待结果。

时间,一天天过去,不论阿达民、还是研究者,都没有耐心等待太久。

但任凭怎样运转,系统监测显示约60%的算力都被这一指令占用,直到1497年5月10日,持续运转七百多小时的“混沌”仍未给出任何结论。

不仅如此,对“混沌”系统的当前状态,是否在这一过程中有所收获、还是茫然不知所以,由于“强AI”的总体架构与传统计算机体系迥异,现在也没办法知道,唯一能确定的,是一个月的时间并不足以解决“黎曼猜想”。

这一结果,莱斯利*兰伯特早在意料之中,并未发觉任何异样。

CC读书推荐阅读:末日降临,我修仙者身份藏不住了快穿:男主,开挂吗倾覆之塔罗素我有外挂三千量子缠结 末世狂飙春秋人生之重合末日赘婿七级凶兽围城,我驾驶机甲救场末日修复师远征军,从收编川军团开始末日圣兵三国之四世三公末日回溯:破晓重生之战星空战国英雄传废土求生:小小拾荒,拿捏!末世诸禽星际萌宝厨仙妈咪末日游戏,我能无限抽卡!末日游戏全球降临灵幻小猫之旅2来自末世中的黎明万灵主君暗世沉浮录末世:兔子带我打丧尸星际猎人随身带着星际争霸一等公民末世:失业的我在农村生存明日之始我家水库真没巨蟒啊卡盒抽卡,不靠概率星战之世末世掠夺商人崩乱世界:幸存者快穿之总有人想攻略我煌煌天道无上剑宗绑定三界闪送系统后我暴富了谎言之咒塔拉影视世界大闲人逍遥小邪仙穿成稀有雌性,兽夫们宠上天我在外星人面前耍大刀末日最强赘婿在末日中漫步,直到世界尽头裂变圣纪:虚空之主的崛起星际侠盗有点甜末日小民我,后土血裔,轮回诸天诸天降临大逃杀
CC读书搜藏榜:快穿女王只想走事业线指环王风云末世降临,开局获得千本樱诸天新时代自我以下,众生平等怪谈模拟器随波逐流的宝可梦神级大法师星际第一菜农三皇吾弟星海争锋:我有一艘神灵级星舰!末世:开局获得S级异能时间零星际监狱长Alpha队友想统治世界[末世]洪荒之混元古蛇末日降临狂扫万亿位面物资末日不囤物资之创世传说无人驾驶帝国重生末世大佬有空间快穿系统:极品男神任我撩异世界骷髅兵的奇幻冒险谭召唤佣兵从留级开始的星际生活星穹觉醒全球轮回:开局花光十个亿从九叔世界开始玩农场沙暴末世:我储水十万亿吨!秦时明月之墨狩天下风云之邪气凛然快穿之女配又逆袭快穿女配天生大佬系统之传奇缔造者英雄联盟之点券召唤师色香味纨绔毒医小狼狗的追妻攻略星际之海盗变上将夫人快穿宿主她又美又甜末日游戏:负状态缠身,我被萌系少女救赎空间重生:我被末世大佬盯上了群星之海末世:我这丧尸进化不科学末世来临,我觉醒了异能!诸天之轮回直播这个快穿有点甜冰封桃花源:囤了一堡垒女神!星际萌宝厨仙妈咪坞界穿越末世:刚毕业的我成了两界巨头末世小人物
CC读书最新小说:恶毒男配都在我的修罗场末世恶毒女配?我靠十倍返还躺赢穿越后我靠蘑菇干翻虫子只想安静种个田,全员逼我当大佬天灾囤货,我靠毛茸茸在末日躺赢末日降临:从修仙界回来后无敌了末世灾变:我靠收割反派暴富穿成乱世寡嫂,靠空间南迁搞基建穿进男频文,我在末世捡垃圾!我的电脑里有个神级文明牺牲的他与保护的她星河苍芒幻厅恶毒向导不装了,全员火葬场吧末世:我捡的废物都成了神明大佬海洋求生:我靠无限抽卡带飞祖国末世列车,我靠预言读档成为榜一梦里穿越十二宫植物成珍稀?而她一天能种一千亩渣女摆烂后,五个前男友扯头花星际:被迫继承疗养院的餐厅星际娇软雌性,被六S大佬强绑定我在末世被营销成神无限副本:告白后我被邪神盯上了快穿:绿茶大佬今天又被钓了渣雌死遁五年回归,黑化父子爱惨病弱美人在诡异世界封神克系末日摆摊,邪神被我喂成萌宠穿成残次品?全星际大佬嗜我成瘾天才俱乐部雄多雌少,我靠木系异能风生水起星际写小说,雄兽们跪求我更新末日求生:我靠农场系统堆满粮仓兵家镇万界末世种田求生:捡个崽崽开农场我在末日盖房子快穿:硬核宿主玩转三千世界穿成稀有向导,误入哨兵修罗场末世海上求生,在灯塔建造度假村生育值0?兽世大佬们全是我榜一荒野求生:毛茸茸同居手册乙游对象非人类,各个为我修罗场恶雌娇又欲,五个兽夫缠欢上瘾抽卡逆袭后,五个未婚夫悔哭了恶女快穿:一不小心就成了万人迷在诡异整容app里封神幻想与现实召唤师爆改好孕系统种田,我成科研大佬丧尸策划者末世求生:小丧尸被毛茸茸团宠!