1956年第一台AI程序Logic Theorist可以证明数学原理52条定律中的38条,她是基于逻辑,不是经验

来源: 2025-09-29 19:25:12 [旧帖] [给我悄悄话] 本文已被阅读: