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

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

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

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