所以不仅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

请您先登陆，再发跟帖！