第一次Dartmouth会议，Simon和Newell的Logic Theorist就证明了数学原理52个定理中的38个

来源: whaled 于 2025-09-29 19:08:50 [] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
本帖于 2025-09-29 19:12:23 时间, 由普通用户 whaled 编辑
回答: 只能说LLM做不到，不能说AI也做不到。 由 whaled 于 2025-09-29 19:02:52
请您先登陆，再发跟帖！