商業、數學、傳統科學的邏輯不夠，現在需要新科學和新教育

Nature報道ChapGPT打破圖靈測試，並把評估人工智能新方法當作新競賽。事實上ChatGPT問題很多很明顯，所以這隻能進一步證明圖靈測試無效。

現在問題在大學和教材，靠風險資本試錯是無底洞，投入資本規模越來越大卻達不到規範實驗下的穩定性，也找不出潛在的大概率嚴重問題。

“從元素到邏輯之間有什麽因素是科學邏輯的關鍵構件？”這個問題的答案有六個要點，用風險資本試錯，當然無法找出答案。試錯方法中缺少了什麽智力要素？

對數學公理係統的理解，早期有個歐幾裏得版本。但非歐幾何出現後，歐幾裏得理解版本已經失敗。很多數學家認為可以任意選取一組公理，這實際上是形式主義數學的觀點，已被哥德爾不完備定理打破。

但數學界沒有好的基礎理論，很多人仍沿用形式主義數學理解。我沒有說邏輯主義或直覺主義數學是對的。但要尋找更好的數學基礎理論，至少需要進一步研究邏輯主義、直覺主義、形式主義三大數學流派的本質差異和缺陷。

這是數學的一個重要基礎問題，跟邏輯有關。而一階數學的缺陷和其它邏輯和數學基本問題，在自動係統中會被誘發和放大。

現在數學界實際上是以形式主義為主流的實用主義。學習傳統數學並應用在人工智能上時，會引入各種缺陷。

所以需要研究科學邏輯分析、避免這些缺陷，並設計新的規範實驗測試人工智能來應對Nature所說的新競賽。

一個關鍵問題是Word-embedded Vector Space有什麽缺陷，應當怎樣改進，這種改進能不能用計算機表達？

更多我的博客文章>>>

• Nature說評估人工智能新方法的競賽開始了。這跟邏輯和數學的基本問題有關
• 人文主義和現代主義的衝突以及科學進步和熵定律趨勢的腐蝕
• 中國古代三種不同學術融合方法的失敗及大數據語言模型和AGI的問題
• 從數學的誤用看邏輯主義、直覺主義、形式主義數學的分歧和統計方法的缺陷
• 非歐幾何、演化理論、哥德爾不完備定理對智力研究的關鍵影響

所有跟帖： 

• 沒看太懂，就是覺得很高端。 -聞風- ♂ (51 bytes) () 10/04/2023 postreply 14:14:09

• Greenspan -小豬的黃香蕉- ♂ (0 bytes) () 10/04/2023 postreply 14:17:04

• 新科學進入門檻很高，很多國家幾百年趕不上。認真有恒心地學，慢慢開竅後會稍容易。各人快慢不一。跟發言方式無關，需要實驗驗證 -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 15:00:03

• 歐盟模擬動物腦和人腦計劃失敗、圖靈測試無效、計算機圍棋有問題、大數據語言模型問題更嚴重，都已驗證 -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 15:29:25

• 直覺如何在空間定義? -zaocha2002- ♀ (0 bytes) () 10/04/2023 postreply 14:19:01

• 應該從更簡單的問題開始。直覺有很多形態，非常複雜 -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 14:45:42

• 舉個例子 -STEMkid- ♂ (0 bytes) () 10/04/2023 postreply 14:49:00

• “從元素到邏輯之間有什麽因素是科學邏輯的關鍵構件？”這個問題的答案要點，就是要把智力分解成更簡單的要素 -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 14:53:43

• 能有什麽因素，定義一下 -STEMkid- ♂ (0 bytes) () 10/04/2023 postreply 14:56:00

• 博文裏有對相關知識的漸進要求。很多問題我不直接給答案，需要訓練思考 -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 15:02:59

• 我的理解是，給不出來 -STEMkid- ♂ (0 bytes) () 10/04/2023 postreply 15:12:00

• 可以去問大學老師，如果他們答不出來，我給答案當然得有credits的回報。我做無償付出已經很多了，得公正 -ScottGu- ♂ (138 bytes) () 10/04/2023 postreply 15:15:58

• 請教用ChatGPT做紅娘有邏輯缺陷嗎？ -whaled- ♂ (0 bytes) () 10/04/2023 postreply 14:32:10

• 人有動物本能型、浪漫型、親情家庭型、知己型等等。自由意誌是否存在及對婚姻有否影響？ChatGPT真能理解這些問題嗎？ -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 14:48:28

• 要小心，同一型中也是千差萬別，不一定合得來。很多人是不同類型的結合，喜歡的特征自己不一定有 -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 15:39:35

• AI 要是有足夠客戶信息就應該可以做出比較準確的判斷。訓練數據應該夠，模型不穩定效果會不好，但真紅娘可能也不會更好。 -whaled- ♂ (0 bytes) () 10/04/2023 postreply 18:05:19

• 有人願意花錢去做人工智能紅娘，我不會反對，當然也不會聽。歐盟模擬動物腦都失敗了，數據多就能模擬人類情感？ -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 18:10:40

• 是模擬媒婆；表現優於媒婆就夠了 -whaled- ♂ (0 bytes) () 10/04/2023 postreply 20:32:43

• 我對媒婆不感興趣。打雞血針的人比懂新科學的人多吧 -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 22:18:47

• 紫檀怪人挺多的 -青裁- ♂ (0 bytes) () 10/04/2023 postreply 14:53:00

• 新科學先驅怪人更多 -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 15:04:56

• 講半天，你還在鼓吹計劃經濟吧？ -逛逛東西南北- ♂ (0 bytes) () 10/04/2023 postreply 17:14:00

• 缺乏靈敏、準確的直覺，很容易誤解別人。我的經濟理念是基於個人主義的自由經濟的奧地利經濟學派的新變種 -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 17:45:56

• 個人主義是每個人按自己立場、角度認知更準確的側麵和層次。不是心術不正、詭辯盛行、全民亂講 -ScottGu- ♂ (0 bytes) () 10/04/2023 postreply 22:34:54