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

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

不仅如此,因为“强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”有开天辟地的能力,而不要求“它”现在就这样做。

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