虽然“费马大定理”的证明,被数学家们批驳的体无完肤,方然自己,也不认为那一份证明具有数学价值。
但,基于“混沌”的表现,和NEP_791、832等研究机构的报告,在陆续投入相当于160,000,000吨标准煤的资源后,方然几乎完全确信,假日时日,让“混沌”系统以数学证明为目标,强AI的确可以给出严谨的费马大定理之证明。
之所以没有尝试,原因,无外乎这一测试,并没有切实的收益。
费马大定理,不论安德鲁*怀尔斯的证明如何艰深,毕竟已经被证明过,其价值也着实很难映射到现实的生产或作战层面上去。
至于说,其他一些简单、明了的数学命题,“混沌”已经能给出证明。
“强人工智能”在数学领域取得的一些成就,暂时保密,并未让眼前这些科学家们知晓。
否则,自己真的说不好,这些出于各种动机而为效命的研究者,会不会精神崩溃,或者意志消沉,进而影响到NEP大区的科研工作。
话虽如此,对学者们的指责,方然也不打算唾面自干。
即便这种讨论,简直就是在浪费时间:
“数学,是恒久的。
但是,恒久的是客观规律,而不是人类对其进行的描述。
人类的“数学”,这一庞大的学科领域,我们总以为她是绝对客观、绝对真理,这样讲究竟是不是正确?
并不尽然。
在本人眼中,数学,人类创造的数学,本质上不过是一种‘出于认识、分析、改造客观世界之需要,结合自身能力特质,而发明出来的一种工具’。
工具,明白吗?而不是客观规律本身。
同样是面对客观世界,人,计算机,自身条件有这么大的差异,如果抽象出来的表述,其体系形式反而一模一样,这倒是咄咄怪事:就譬如说,人类的数学中公式泛滥,但是在计算机系统中,又何尝需要什么公式?
公式,乍一看去,着实是可以很高深的学问。
可实际上呢,无非是人类的头脑,基础条件严重受限所致,‘缓存’太小,‘线程’单一,彼此间交流的手段,无非低频机械波与特定频段的电磁波,根本无法以原始状态处理、交流哪怕很简单的数学问题。
为记录一个实际问题,发明数字;
为归拢这些数字,间接的描述问题,发明集合;
为对数字进行处理、又无法直接传递处理方法,发明运算符号;
为处理离散序列或连续变量,发明函数,然后为了处理这些函数,又发明微积分;
微积分对很多序列、变量根本无能为力,再进行数值抽取,发明矩阵、数值计算与数论分析……
一步步走下去,逐渐脱离现实,数学的大厦高不见顶,到今天,其前沿已完全脱离生产实践,而成为专家口中‘自有其发展的客观规律,不宜视为一般自然科学’的另类,变得不太像一门自然科学。”
第五三八章 参观
“数学,在过去的时代,曾经对人类认识、分析、改造客观世界,发挥了重大的作用。
但是‘那种’数学,在今天,数学诸多前沿领域之中,又能够找到多少?数论的大量分析结论,在其他自然科学领域,有何切实的应用,又有多少研究,是如‘质数的分布律’那样,只是一种纯粹的抽象领域之精神消遣。
这种数学,有用,或者没有用,身为数学的行外人,我很清楚自己并没有一点资格,来和各位业界专家争辩。
但这种数学,我却可以大胆的猜测:
强AI,与人类迥异的‘新势力’,不会搞这些莫名其妙的东西。”
“那么,阿达民——阁下,您认为‘强人工智能’的数学,会是怎样的呢。”
“这我可说不上来。”
阿达民的话,让在场的科学家们面露难色,目光短暂交流,很显然,他们几乎都认为这回答有些不可理喻。
只不过“身在屋檐下,不得不低头”,一时无法斥责罢了。
片刻尴尬后,终于有人开口打破这沉默:
“阿达民阁下,数学,并不是您想象的那样;
一个时代的前沿数学研究,或迟或早,总会对自然科学的发展有所促进,甚至发挥关键性的作用。
哦,顺便提醒您,数学并不是自然科学,这是一般性的认识。”
“您的观点,大致基于经验,是从人类科技发展的历史,得出结论。
那这就有一点问题了:
您,和您的同事们,凭什么认定过去出现过的情形,在今后,仍会一如既往的出现,这算不算是一种武断的‘经验主义’呢。”
“经验主义?
这怎么会是经验主义,阿达民阁下,这只是一个涉及到‘数学在科学体系中的地位’,如何看待的问题。
即便您并非数学领域的专家,也总听说过,‘数学是科学之父’这句话:数学是人类探索客观规律的重要手段,一门技术,一个领域,只有将其数学化,才具备起码的严谨性与客观性,进而有可能被称为‘科学’,难道不是吗。”
完全是各说各话,听到这种回应,方然难免会想到这么一种表述。
这些数学家,对计算机、人工智能领域的理解,相当欠缺,拘囿于专业领域而对“强人工智能”这一划时代的产物缺乏认识,进而才会产生观点的冲突。
哦豁,小伙伴们如果觉得52书库不错,记得收藏网址 https://224444.shop/ 或推荐给朋友哦~拜托啦 (>.<)
传送门:排行榜单 |