所以不僅Coding正被AI化，數學證明也正被AI化。

來源: 大觀園的賈探春 於 2025-09-29 18:05:03 [] [博客] [舊帖] [給我悄悄話] 閱讀數 : (0 bytes)

所有跟帖： 

• 數理邏輯作為哲學的一個分支沒有理由不能AI化。 -大觀園的賈探春- ♀ 給 大觀園的賈探春 發送悄悄話 大觀園的賈探春 的博客首頁 (0 bytes) () 09/29/2025 postreply 18:07:22

• 你太低估AI了。 -大觀園的賈探春- ♀ 給 大觀園的賈探春 發送悄悄話 大觀園的賈探春 的博客首頁 (0 bytes) () 09/29/2025 postreply 18:12:21

請您先登陸，再發跟帖！