只能说LLM做不到,不能说AI也做不到。
本帖于 2025-09-29 19:07:00 时间, 由普通用户 whaled 编辑
所有跟帖:
•
第一次Dartmouth会议,Simon和Newell的Logic Theorist就证明了数学原理52个定理中的38个
-whaled-
♂
(0 bytes)
()
09/29/2025 postreply
19:08:50