让刚刚诞生的“强人工智能”应付一个数学界的百年难题,本来也不怎么靠谱,没有解答,是很寻常的情形。
不仅如此,因为“强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”有开天辟地的能力,而不要求“它”现在就这样做。