第五一三章 數學

bookmark

不論謬誤,還是留待進一步討論,甚至“超越”,科學家們在這一問題上的分歧,都讓方然感到新鮮。

畢竟現在討論的問題,並不是一個由於信息不全,或現有理論、手段之侷限性而引發的爭論,擺在所有人眼前的只是一份“莫名其妙”的數學證明,是對是錯,難道不該頃刻可知嗎。

不知不覺,時間一點點過去,現場討論的氣氛相當熱烈,方然卻意興闌珊。

他現在所想的,與在場專家、學者們所討論的,並不一致,看到他們饒有興致的圍繞“混沌”提交的證明辯論,焦點,集中在高維空間定距,或者命題的證明之邏輯上,不知爲何,他就會有一點坐立不安。

雖然也有一些學者,如萊斯利*蘭伯特,指出辯論的矛盾之處,倘若認爲“混沌”的結論有誤,作爲AI,這本身就極其詭異。

但,問題真的僅此而已嗎,恐怕不。

一邊聆聽現場發言,一邊掃視會場,不知不覺,四十四歲的男人有一點開小差,思緒逐漸脫離具體的證明、維度乃至辯論,而越來越天馬行空,就在這樣的過程中,他逐漸摸索到一點清晰的思路。

對“混沌”提交的這一份證明,科學家們關注的方向,或許並不恰當。

會議之後,沒有急於離開“替身機器”,方然想了想,還是決定呼叫萊斯利*蘭伯特,讓他帶領幾位數學家到休息室。

“抱歉,再佔用諸位一些時間;

對下午的議題,本人有些不太成熟的想法,還想請教諮詢一下。”

對待NEP大區的科學家,方然相當禮貌,雖然這些專家、學者和定居點內的一千萬民衆並無本質區別,對管理員的吩咐,只有照辦,但他沒打算濫施威權,給雙方的交流平添一些不必要的隔閡。

“對‘混沌’系統給出的‘費馬大定理之證明’,剛纔諸位已討論過。

我個人的建議,首先,考慮到這份證明的一點背景訊息:

費馬大定理,無疑是正確的,安德魯*懷爾斯教授的傑出工作成果,可以確保這一點,同時注意到,計算機系統與人工智能的特性,是‘不會出錯’,那麼諸位對‘混沌’給出的證明,予以否定,這一事態就很耐人尋味。

‘混沌’的證明,究竟是對,還是錯?

關於這一點,顯然,本人並無資格在諸位面前班門弄斧,而應該相信你們的判斷,那麼這就引出第二個問題:

強AI,是出於什麼樣的考慮,纔會給出一份這樣的證明。

這個問題,諸位在批駁其給出的證明時,有沒有考慮過呢,但說無妨。”

話音落地,休息室裡出現了短暫的寂靜,對在場者的沉默,方然看來看去,他忽然間竟有一點憂心忡忡。

在座的幾位專家,姓名,職務乃至研究領域,ASA已經疊加顯示到視野中,但這些並無關緊要,怎麼說也是人類最聰明、最頂尖的一批頭腦,竟然會在這方面毫無覺察,是這樣嗎,這對自己而言是幸運、抑或是不幸呢。

“那麼,諸位先思考一下,本人端出自己的結論來,權作拋磚引玉。

對‘混沌’系統給出的費馬大定理之證明,本人認爲,其很有可能是正確的;但與此同時,諸位對這一證明的判斷,同樣也應該是正確的。

換句話講,這一證明究竟是對,還是錯,與評判者的立場密切相關。”

“呃……那麼,阿達民先生,”

一開始還在疑惑,越聽,越覺得難以忍受,在場者中終於有人舉手示意,

“您的意思是,‘強AI二號機’給出的所謂‘費馬大定理之證明’,這麼一項數學上的結論,其正確與否,並不是確鑿無疑、或無法判定,而是在不同立場的評判者眼裡,可能正確,也可能不正確?

恕我直言,”

眼見“阿達民”,也就是中年替身點一點頭,發言者覺得這簡直荒謬,

“先生,您是否清楚,但凡有意義的數學命題,只可能有三種狀態,真,僞,不可判定。

不管哪一種狀況,其本身必定是確鑿的,決不會變來變去,僅僅因爲站在不同立場上的人去評判,就有迥然不同的結論!”

言下之意,阿達民,您是一個傻瓜嗎;

數學,數學是什麼,但凡有點起碼的認識,又怎會說出這種荒唐的夢話。

這種潛臺詞,不論從語氣,神態,還是在場其他數學家的表情,方然都不難感受到,但現在這些並無所謂,他只是坐在那盯着發言者看了一會兒,直到後者有點心裡發毛,纔不緊不慢的開口解釋:

“您,和您的同僚,是想暗示本人乃一介麻瓜,是嗎?

數學是客觀的,不會因爲人的主觀意志而改變,其實,一切客觀規律莫不如此,在座諸位和本人都清楚這一點。

但必須指出,‘客觀規律’並不直接等同於‘數學’,人類總結、構建出的數學,並不一定是放之四海而皆準的真理,客觀規律是永恆的,唯一的,人類對其的表述、歸納與演繹,卻未必永恆而又唯一。

強人工智能,發展出自己的一套數學理論體系,這是完全有可能的事。”

“恕我直言,您的這番話,完全是一種天馬行空的幻想。

數學規律的客觀性,無需贅言,不論用什麼形式去表述,規律本身都不會變,也不可能變;

再強大的計算機、人工智能,終究也只是一臺有限狀態自動機,其自身運行尚且要服從數學規律,何談創造出‘新的數學’?”

各說各話,不知在場的數學家們怎麼看,方然是有這種感覺。

數學是否唯一,這種話題,乍一想來的確沒有任何辯論的必要,所謂1+1=2的原理,放眼整個宇宙恐怕都是如此,不論用什麼計數符號和運算符號表示,表達式背後的基本原理也完全一致。

這種極度的同一性,是數學研究的基本前提,甚至同爲基礎學科的物理都無法具備。

道理如此顯明,方然必定也知道的一清二楚,更不會不自量力、或者頭腦發昏的去挑戰這一普適原則,他的本意根本就不是這樣。

而是說,面對同樣的客觀規律,人類與AI的認知動機、角度與方式,

可能有着巨大的,根本性的區別。

第七二九章 過去第八一一章 過時第三三六章 吼聲第五六六章 海默第三一八章 消耗第五二四章 俘虜第二六〇章 衍生第一三二章 寂滅第七十三章 理想第三六八章 大腦第一八九章 艾米第六一二章 中陸第三七一章 羅斯第二九六章 妥協第八十六章 儀式第八七〇章 比鄰第四五五章 海峽第四二〇章 分配第五六五章 擴散第九五五章 宣泄第六三三章 朗道第三二四章 國際第一五五章 保密第二七一章 條目第一六九章 變遷第二〇三章 律條第五九六章 關鍵第七七八章 語言第一〇二章 猜想第七〇三章 迴音第七十五章 動向第二二五章 暗戰第五十章 條件第三三九章 牢房第三六七章 計算第六八六章 失控第八二六章 光斑第六一七章 珍惜第七四八章 規劃第七四五章 盡職第一八四章 郊野第四十章 機會第九五八章 流星第五七五章 廢物第七二五章 重逢第四六〇章 理由第二五三章 處境第六八六章 失控第八〇三章 遷移第五五八章第六八〇章 反常第八五六章 坦然第二六八章 堅持第三〇一章 說服第五五〇章 窺見第三一二章 暗鬥第四二三章 定居第四二四章 遷徙第五二四章 俘虜第五五七章 要求第六九九章 分列第八七八章 採集第六五二章 使命第四〇三章 花園第七六三章 規劃第三二六章 時刻第六二八章必亡第六三一章 驅使第六八一章 文字第四九七章 調試第四五二章 地緣第三七八章 戰略第八一三章 戴森第七六八章 火種第三四六章 囚困第一八四章 郊野第三九一章 零點第七二〇章 秋分第四〇五章 脫線第八五四章 灰色第四〇四章 肉食第八七七章 木星第六五二章 使命第四三四章 庫房第八二九章 醒來第四十二章 準備第五二四章 俘虜第八七二章 專利第五六八章 雙頭第二六一章 需求第八三〇章 睡眠第四十一章 目標第五二四章 俘虜第二三八章 山雨第七五九章 能源第三四五章 中繼第二七〇章 藉口第一二一章 算力第五八七章 家園
第七二九章 過去第八一一章 過時第三三六章 吼聲第五六六章 海默第三一八章 消耗第五二四章 俘虜第二六〇章 衍生第一三二章 寂滅第七十三章 理想第三六八章 大腦第一八九章 艾米第六一二章 中陸第三七一章 羅斯第二九六章 妥協第八十六章 儀式第八七〇章 比鄰第四五五章 海峽第四二〇章 分配第五六五章 擴散第九五五章 宣泄第六三三章 朗道第三二四章 國際第一五五章 保密第二七一章 條目第一六九章 變遷第二〇三章 律條第五九六章 關鍵第七七八章 語言第一〇二章 猜想第七〇三章 迴音第七十五章 動向第二二五章 暗戰第五十章 條件第三三九章 牢房第三六七章 計算第六八六章 失控第八二六章 光斑第六一七章 珍惜第七四八章 規劃第七四五章 盡職第一八四章 郊野第四十章 機會第九五八章 流星第五七五章 廢物第七二五章 重逢第四六〇章 理由第二五三章 處境第六八六章 失控第八〇三章 遷移第五五八章第六八〇章 反常第八五六章 坦然第二六八章 堅持第三〇一章 說服第五五〇章 窺見第三一二章 暗鬥第四二三章 定居第四二四章 遷徙第五二四章 俘虜第五五七章 要求第六九九章 分列第八七八章 採集第六五二章 使命第四〇三章 花園第七六三章 規劃第三二六章 時刻第六二八章必亡第六三一章 驅使第六八一章 文字第四九七章 調試第四五二章 地緣第三七八章 戰略第八一三章 戴森第七六八章 火種第三四六章 囚困第一八四章 郊野第三九一章 零點第七二〇章 秋分第四〇五章 脫線第八五四章 灰色第四〇四章 肉食第八七七章 木星第六五二章 使命第四三四章 庫房第八二九章 醒來第四十二章 準備第五二四章 俘虜第八七二章 專利第五六八章 雙頭第二六一章 需求第八三〇章 睡眠第四十一章 目標第五二四章 俘虜第二三八章 山雨第七五九章 能源第三四五章 中繼第二七〇章 藉口第一二一章 算力第五八七章 家園