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

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

所有跟帖： 

• 那哲學能自動化嗎？ -角尺和規- ♀ 給 角尺和規 發送悄悄話 (0 bytes) () 09/29/2025 postreply 18:06:05

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

• AI現在除了識別圖像，語音，基本就是個search engine. 肯本沒有獨立思考能力。 -角尺和規- ♀ 給 角尺和規 發送悄悄話 (0 bytes) () 09/29/2025 postreply 18:11:23

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

• 就像你，用AI來證明AI. -角尺和規- ♀ 給 角尺和規 發送悄悄話 (0 bytes) () 09/29/2025 postreply 18:13:12

請您先登陸，再發跟帖！