AI是什么

AI是一臺“數學機器”

AI的用處就是解數學問題？17世紀，法國哲學家、數學家笛卡兒認為“一切問題都可以歸結為數學問題”。幾乎同時，德國數學家、哲學家戈特弗里德·威廉·萊布尼茨提出了“用計算代替思考”的大膽假設。

AI是模仿人類行為的“機器智能”？1950年，英國計算機科學家、數學家艾倫·麥席森·圖靈在論文《計算機器與智能》中，提出了著名的“圖靈測試”與“機器會思考嗎”這一問題。其中有趣的對比是，如果人類試圖扮演機器回答問題，很容易因為算數緩慢、答案不準確而被拆穿，而機器模仿人類的智能問答行為的成功標準，是讓人類難以分辨答案究竟是由人類還是機器給出的。

AI是像人類一樣思考、能解決人類還不能解決問題的技術？1956年8月，在美國漢諾斯小鎮的“達特茅斯學院”中，“AI”一詞首次被明確提出[1]，約翰·麥卡錫在會上給出其的準確定義“制造智能機器的科學和工程”，并明確設計了今后的主攻科研方向——“人們將嘗試找到如何讓機器使用語言，形成抽象概念、解決目前只有人類才能解決的各種問題，并改進自己的方法。就這一目的而言，AI的關鍵問題是如何使機器的行為方式與人類的行為方式相同。”[2]

[1] 尼克．人工智能簡史[M]．北京：人民郵電出版社，2017．

[2] 亞當·哈特·戴維斯，羅布·沃．科學的轉折四部曲[M]．天津：天津科學技術出版社，2023．

愛因斯坦說：“不是每件可以算數的事都可以計算，不是每件可以計算的事都可以算數。”如何理解這句話呢？ 有些問題雖然在理論上可以計算，但由于實際世界中的復雜性、不確定性或資源限制，我們無法用數學方式來解決，即計算的局限性、數學的局限性。例如“哥德爾不完全性定理”中，第一定理是任意一個包含一階邏輯與初等數論的形式系統，都存在一個命題，它在系統中既不能被證明，也不能被證偽；第二定理是如果系統S含有初等數論，當S無矛盾時，它的無矛盾性不可能在S內證明，換句話說，就是具有一致性的系統不能在自身系統內被證明一致。基于哥德爾不完全性定理來考慮AI能力的邊界，大模型的自洽性（無矛盾）和完備性（能夠解決所有問題）是難以同時實現的，也不存在一個通用算法能夠判定所有數學命題的真假，除非加入實驗、經驗等非一階公理化系統，這就是人類反饋、具身智能的價值所在。