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

让刚刚诞生的“强人工智能”应付一个数学界的百年难题,本来也不怎么靠谱,没有解答,是很寻常的情形。

不仅如此,因为“强AI”的设计与运行特点,研发组的科学家们甚至无法判断,在这一个月时间里,“混沌”究竟是在竭尽全力解决问题呢,还是例行公事一般的应付,60%的算力占用,只是AI的报告,是否真实,并无人能够得知。

强人工智能,究竟在做一些什么,人类很难调查清楚,这让NEP_791的某些研究者心中忐忑,甚至有些紧张。

方然的看法,则相对中立,他并不认为“混沌”在进行一些危险的勾当。

至于说,没能解决“黎曼猜想”,这暂时的结果倒没令他失望,反正自己从一开始就只是抱着试验的态度。

不过接下来的讨论,他还是与莱斯利*兰伯产生了严重的分歧。

“混沌”尝试证明黎曼猜想,结果毫无所得,在兰伯特先生眼中,这一事实并非毫无价值,而反映了“强人工智能二号机”的现有能力,还太菲薄。

即便其理论能力应该大大超越“初号机”,毕竟两者的规模有很大差距,但所谓“初号机”,本来也不是什么能力超强的AI,现在的数学水平只相当于中学七、八年级的水平,这肯定不算一个多高的成就。

出于这种考虑,兰伯特才建议阿达民,让“二号机”继续自我演化,等待结论。

“自我演化,这当然也是一种策略,但,兰伯特先生,我们究竟要等多久,才能够得到一可以与人匹敌、甚至可超越人的人工智能?

这方面的研究,我多少也有一些因参与而获得的了解,时间表,对各位专家来说是强人所难,但现在,NEP大区也好,整个世界也罢,并没有无限制的时间可以耗费,按您的建议一直等下去,我的压力山大,希望您能理解这一点。”

“是吗,阿达民先生,我个人又何尝不想早一天看到成果呢,至少在有生之年。

但,怎么说呢,您想必也看了报告,‘黎曼猜想’并非软柿子,指望一个刚诞生不久的‘强AI’这种新生事物去解决,这本来就不现实。”

“那么,我们换一换思路,让‘混沌’系统去应付简单些的猜想……

可以吗,有没有这样的猜想。”

说话间,方然便有些踌躇,他意识到自己的话里有一个不大不小的悖论,或者说矛盾。

果然,莱斯利*兰伯特马上摇头:

“简单的猜想?

要多简单才适合丢给‘混沌’呢,我想一想,中学生,大学生,还是数学专业本科生的水平,问题在于,阿达民先生,这种难度的断言、猜想,在数学界根本活不过一时半刻,要找到人类尚未证明的猜想,简直太难了。”

的确如此,连线这一头的男人语塞,他知道兰伯特说的对。

要适应“强AI二号机”,这样的数学猜想一定不能太难,但说回来,倘若有这么简单的猜想,人类一早就自己解决了。

而如果某个猜想,乍一看很简单,人类却长时间没能将其解决,这种情形在数学史上司空见惯,这就只能说明,该猜想其实十分困难,其给人“容易解决”的第一印象,只是具有欺骗性的外表。

这种情形,最着名的案例,应该说还是那一个经久不衰的“3X+1”猜想。

3X+1猜想,最早出现于西历13XX年代,具体是谁第一个提出该设想已无从考证,数学界的做法,是将其用论述相关的“3X+1”来命名,规避“提出折是谁”这类问题。

猜想的具体内容,很浅显,但凡有一点数学知识都能看明白。

给定一个自然数X,对其(及其操作后的结果)不断进行这样的操作:若X为奇数,则将其变为3X+1,若X为偶数,则将其变为X2。

如此不断进行下去,最终一定会落入1——4——2——1的自循环。

表述如此简洁,哪怕一个小学生也能明白,3X+1猜想自然吸引了一大批的尝试者,从仅有粗糙数学基础的普通民众,到数学领域的顶尖人才,多年来在这一问题上耗费了无数时间精力,最终,除大量价值模糊的中间结果外,并无任何收获。

看起来如此简单,似乎很容易解决的3X+1猜想,直到今天,也没有被人类证明证伪。

3X+1猜想的人畜无害面目,曾欺骗了许多数学家,归根结底,还是那一个矛盾,人类尚未证明的猜想、断言,难度真的很难把握。

正因如此,所谓“简单的猜想”,便是一种相当虚无的概念。

这方面的情形,略一解释,方然就能明白各种关键,不过,毕竟没有在数学领域深耕,管理员的头脑转的很快,他直接向兰伯特先生提出,可以让“混沌”尝试证明一些人类已解决的猜想,用这种方式来验证其能力。

“将人类已掌握的定理,让AI再证明一遍,如何?

已经证明的猜想,哦,或者已经证伪的猜想也无妨,总之,既然已经被人类数学家解决,其难度也就可以有一个比较客观的衡量,正好用来测度‘混沌’的能力。”

“喔,我想一想……这倒是挺可行的策略。”

一开始没想到这点,身在其中,完全围绕“强人工智能”的系统架构与运行模式去思考,阿达民的话提醒了莱斯利*兰伯特,他随口问了一句:

“那么,您准备让‘混沌’尝试证明哪一些命题?”

“这我没主意,那么,干脆就之前想到的那一个‘费马大定理’好了。”

计算机,再加上人工智能,既然对黎曼猜想束手无策,那能证明“费马大定理”吗,方然也不清楚。

但他还是选择了这一定理,而没有从浩如烟海的数学知识海洋里,随便挑选几个一目了然、简单直白的结论去验证。

是对“强人工智能”的莫名信心吗,也许,他并不否认这一点。

反正这也只是一次测试,成,还是不成,都无关大局,只要验证“强AI”有开天辟地的能力,而不要求“它”现在就这样做。

CC读书推荐阅读:末世女配黑化进行时星际萌途洪荒之混元古蛇种出国宝后,我在末世改造烂尾楼快穿之男主黑化不关我事LED趣味之旅快穿女配天生大佬恶魔超正义末日降临,我修仙者身份藏不住了快穿女王只想走事业线沙暴末世:我储水十万亿吨!我的机制在你之上恶灵国度末日回溯:破晓重生之战快穿:男主,开挂吗末日之无上王座快穿之这个女主早晚要完末世,邻居太太求着进安全屋快穿女配冷静点美漫诸天万界末日水世界:开局一艘超级方舟七级凶兽围城,我驾驶机甲救场穿越末世:刚毕业的我成了两界巨头末日修复师天灾降临,我靠系统重建华夏文明恶女稳定发挥,男主们为她沉沦穿书后,向导在艰难求生!超人末日未来重生归来,打造最强星际霸主星辰卫士天选:专注于刀术的我只叠被动末世小人物星空战国英雄传火星荒岛求生机遇号废土求生:小小拾荒,拿捏!末世诸禽星际萌宝厨仙妈咪末世囤货,从美女上司开始三国之四世三公末日游戏,我能无限抽卡!末日游戏全球降临灾厄纪元来自末世中的黎明万灵主君末世:兔子带我打丧尸一等公民末世:失业的我在农村生存明日之始卡盒抽卡,不靠概率梦境互联
CC读书搜藏榜:快穿女王只想走事业线指环王风云末世降临,开局获得千本樱诸天新时代自我以下,众生平等怪谈模拟器随波逐流的宝可梦神级大法师星际第一菜农三皇吾弟星海争锋:我有一艘神灵级星舰!末世:开局获得S级异能时间零星际监狱长Alpha队友想统治世界[末世]洪荒之混元古蛇末日降临狂扫万亿位面物资末日不囤物资之创世传说无人驾驶帝国重生末世大佬有空间快穿系统:极品男神任我撩异世界骷髅兵的奇幻冒险谭召唤佣兵从留级开始的星际生活星穹觉醒全球轮回:开局花光十个亿从九叔世界开始玩农场沙暴末世:我储水十万亿吨!秦时明月之墨狩天下风云之邪气凛然快穿之女配又逆袭快穿女配天生大佬系统之传奇缔造者英雄联盟之点券召唤师色香味纨绔毒医小狼狗的追妻攻略星际之海盗变上将夫人快穿宿主她又美又甜空间重生:我被末世大佬盯上了群星之海末世:我这丧尸进化不科学诸天之轮回直播这个快穿有点甜冰封桃花源:囤了一堡垒女神!星际萌宝厨仙妈咪坞界穿越末世:刚毕业的我成了两界巨头末世小人物我的本体是个能量球网游幻灵
CC读书最新小说:懒人末日求生系统我要吃掉整个世界刃之星辰星际直播:华夏文明的逆袭之光我创造了18个人种末世当地主穿成兽世恶毒亲妈,全员跪求我宠末日!都重生了我舒服亿点怎么了快穿之拯救反叛魔神徒弟子嗣即虫群,我在废土播种恐怖丧尸罹灾之血疫人造英雄末世我在城郊别墅种田囤物平行世界偷心人抱歉,我真没想到自己这么强穿成末世文里的恶毒女配穿书后,向导在艰难求生!恶女稳定发挥,男主们为她沉沦重生者:末世生存战梦境互联末日回溯:破晓重生之战末世:我靠卖丧尸直播暴富冰川纪元:我培养了绝世女皇宇宙无限食堂快穿女配被迫躺平了穿越星际种田日常恶女快穿:我在万千小世界杀疯了身软小雌性,撩得众兽夫失控沦陷万界时空门星际直播万人迷,帝国大佬争着宠我手握无限物资,砸出末世安全区公路求生:我无限物资带飞全家抱歉,我们队长她是六边形战士奶团三岁萌翻天,全家反派宠上天禁欲上将别咬,较软人鱼顶级暴徒莫名其妙成为虐文主角爹妈后末日重生之我做丧尸之王截胡机缘有奖励!亿万文明怕个毛女扮男装上军校,我被变态包围了末日小民绿茶宿主好妖娆,绝嗣男主轻诱哄星际兽世:凶猛兽夫心思有点野星际直播:荒星变成桃花源幻窜游戏柔弱恶雌被流放?众兽夫舍命护她兽世:反派人鱼崽崽拒绝从良系统穿成稀有雌性,兽夫们宠上天快穿恶女太魅,疯批男主缠上瘾恶雌身娇体弱,四个兽夫轮流喂养空间通末世,我带飞全家很合理吧