恕我直言,”
眼见“阿达民”,也就是中年替身点一点头,发言者觉得这简直荒谬,
“先生,您是否清楚,但凡有意义的数学命题,只可能有三种状态,真,伪,不可判定。
不管哪一种状况,其本身必定是确凿的,决不会变来变去,仅仅因为站在不同立场上的人去评判,就有迥然不同的结论!”
言下之意,阿达民,您是一个傻瓜吗;
数学,数学是什么,但凡有点起码的认识,又怎会说出这种荒唐的梦话。
这种潜台词,不论从语气,神态,还是在场其他数学家的表情,方然都不难感受到,但现在这些并无所谓,他只是坐在那盯着发言者看了一会儿,直到后者有点心里发毛,才不紧不慢的开口解释:
“您,和您的同僚,是想暗示本人乃一介麻瓜,是吗?
数学是客观的,不会因为人的主观意志而改变,其实,一切客观规律莫不如此,在座诸位和本人都清楚这一点。
但必须指出,‘客观规律’并不直接等同于‘数学’,人类总结、构建出的数学,并不一定是放之四海而皆准的真理,客观规律是永恒的,唯一的,人类对其的表述、归纳与演绎,却未必永恒而又唯一。
强人工智能,发展出自己的一套数学理论体系,这是完全有可能的事。”
“恕我直言,您的这番话,完全是一种天马行空的幻想。
数学规律的客观性,无需赘言,不论用什么形式去表述,规律本身都不会变,也不可能变;
再强大的计算机、人工智能,终究也只是一台有限状态自动机,其自身运行尚且要服从数学规律,何谈创造出‘新的数学’?”
各说各话,不知在场的数学家们怎么看,方然是有这种感觉。
数学是否唯一,这种话题,乍一想来的确没有任何辩论的必要,所谓1+1=2的原理,放眼整个宇宙恐怕都是如此,不论用什么计数符号和运算符号表示,表达式背后的基本原理也完全一致。
这种极度的同一性,是数学研究的基本前提,甚至同为基础学科的物理都无法具备。
道理如此显明,方然必定也知道的一清二楚,更不会不自量力、或者头脑发昏的去挑战这一普适原则,他的本意根本就不是这样。
而是说,面对同样的客观规律,人类与AI的认知动机、角度与方式,
可能有着巨大的,根本性的区别。
第五一四章 智能
数学,究竟是什么。
撇开永远无法真正洞悉的客观规律,人类口中的“数学”,又是一种什么样的存在。
这种话题,与眼前坐着的几位数学家讨论,恐怕不会太愉快,虽然这些专家、学者的头脑都实属顶尖,毫不夸张的讲,甚至会超越身为管理员的自己一大截,但在涉及数学本质的认识上,方然还真有点大言不惭的冲动。
在数学领域钻研,多有建树,固然是一种超卓的能力。
但,这并不一定表示,眼前的数学家们,必定反复琢磨过数学的本质,又或者即便思考过,也难免会因身在其中,而一叶障目。
身在这一领域之外,至多将其当做实现目的之手段,方然对数学没有特别的信仰,或者爱好,因此而能冷静的判断局面,在他眼中,这门被称为“科学之父”的学科,只是人类用以认识,分析与改造客观世界的一种工具。
说的再抽象一点,数学,是人类弥补自身短板,探寻客观规律的手段。
设想在这茫茫宇宙中,有没有什么地方,存在着真实可察的1+1=2,或者旋度场呢,不知道,但以人类迄今为止掌握的客观规律,方然仍有充分的理由断言,纯粹的数学对象存在于世的概率完全等于零。
真实存在的,是现象,客观规律的物质性反映,而数学,是只存在于人类头脑之中,用以描述这些现象的思维工具。
方然的这种设想,动机,当然不是要否定数学的巨大力量。
但必须意识到,客观世界与客观规律的唯一性、确定性,并不天然地等同于“数学”这一事物的唯一性与确定性。
这些设想,在头脑中盘桓许久,方然仍未开口,他草草结束了这一次见面。
与NEP大区的数学家们辩论,结果,可能会不欢而散,即便让专家、学者们认可了自己的一番判断,其实也没意义。
身为大区管理员,更高效的办法,还是行动。
只要与莱斯利*兰伯特这样的负责人交流,下达指令,在各种因素的驱使下,NEP的庞大科研、生产体系,自然会按自己的意志去运转。
至于说,“强人工智能二号机”,乃至规划中的“三号机”,其究竟是否具有自己的一整套数学理论,站在人的立场,由于无法监控AI的实时运行状态,也根本无从得知,探讨这种话题,就仿佛辩论黑洞视界内会有什么,纯属浪费时间。
反正,有崭新的理论体系,或者没有,只要“强AI”展现出与人类相匹敌、乃至超越人类做的智力水平,研究的目标就达到了。
按这一指导思想,西历1497年,方然继续向NEP_791等研发机构追加预算。
经由通用型AI的决策分析,在保证“天堂军”编制扩充与备战的前提下,NEP大区的一切其他开销,都必须为重点领域让路。
哦豁,小伙伴们如果觉得52书库不错,记得收藏网址 https://224444.shop/ 或推荐给朋友哦~拜托啦 (>.<)
传送门:排行榜单 |